ePrints

Asynchronous Communication in Dynamically Structured Systems

Lookup NU author(s): Professor Maciej KoutnyORCiD

Downloads

• Published version [.pdf]

Abstract

We propose a process formalism for systems of asynchronously communicating processes with dynamic connectivity . We give an equivalence for such processes, validated against a CCS-like observational equivalence for synchronous communication and fixed connectivity.

Publication metadata

Author(s): Hopkins RP, Koutny M

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1989

Pages: 14

Report Number: 287

Institution: Computing Laboratory, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

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

Share