A Calculus of Communicating Systems with Label Passing

Authors

  • Uffe Engberg
  • Mogens Nielsen

DOI:

https://doi.org/10.7146/dpb.v15i208.7559

Abstract

Milner's Calculus of Communicating Systems (CCS) is extended with a mechanism for label passing - as an attempt to remedy some of the shortcomings of CCS w.r.t. dynamic change of agent interconnections. In the extended calculus, restriction is viewed formally as a binder, and the calculus allows dynamic change of scope (of label) in connection with communication. It is proved that algebraic properties of strong (and observational) equivalence for CCS are preserved by the extension. Examples illustrating the expressive power of the calculus and its methods for reasoning are given.

Author Biographies

Uffe Engberg

Mogens Nielsen

Downloads

Published

1986-05-01

How to Cite

Engberg, U., & Nielsen, M. (1986). A Calculus of Communicating Systems with Label Passing. DAIMI Report Series, 15(208). https://doi.org/10.7146/dpb.v15i208.7559