Toggle Main Menu Toggle Search

Open Access padlockePrints

Asynchronous Communication in Dynamically Structured Systems

Lookup NU author(s): Professor Maciej KoutnyORCiD



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