Browse by author
Lookup NU author(s): Professor Maciej KoutnyORCiD
Full text is not currently available for this publication.
Many distributed computing systems (e.g. concurrent object-based systems) employ asynchronous (buffered) communication and exhibit a dynamically changing structure of communication channels between their component processes. In this report we develop an asynchronous process composition operator, and an asynchronous process equivalence which have the same role for such systems as the parallel composition and observational equivalence of e.g CCS have for synchronously communicating statically structured systems.
Author(s): Hopkins RP, Koutny M
Publication type: Report
Publication status: Published
Series Title: Computing Laboratory Technical Report Series
Report Number: 282
Institution: Computing Laboratory, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne