ePrints

Modelling Concurrent Systems with Dynamic Communication Structure

Lookup NU author(s): Professor Maciej KoutnyORCiD

Downloads

Full text is not currently available for this publication.

Abstract

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.

Publication metadata

Author(s): Hopkins RP, Koutny M

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1989

Pages: 44

Report Number: 282

Institution: Computing Laboratory, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/282.pdf

Share