1. From action systems to distributed systems : the refinement approach /: the refinement approach. ([2016]) Editors: Petre, Luigia, 1974-; Sekerinski, E (Emil), 1963- Record Type: Book Extent: 1 online resource (xxviii, 271 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗