Technical reports

CCS with environmental guards

Juanito Camilleri

August 1992, 19 pages

DOI: 10.48456/tr-264

Abstract

This paper investigates an extension of Milner’s CCS with agents guarded by propositions on the environment. The agent g ≫ E, pronounced E in an environment of which g holds, depends on the set of actions the environment in ready to perform. This dependency is realised by an operational semantics in which transitions carry ready-sets (of the environment) as well as the normal action symbols from CCS. A notion of strong bisimulation is defined on guarded agents via this semantics. It is a congruence and satisfies new equational laws (including a new expansion law) whicyh are shown to be complete for finite guarded agents. The laws are conservative over agents of traditional CCS. The guarding operator ≫ provides a dynamic, local, and clean syntactic means of expressing the behaviour of an agent depending on circumstance; it is more expressive than the unless operator presented in [Cam91] and the priority choice operator presented in [Cam90] and [CaW91], and yields a much simpler expansion theorem.

Full text

PDF (1.2 MB)

BibTeX record

@TechReport{UCAM-CL-TR-264,
  author =	 {Camilleri, Juanito},
  title = 	 {{CCS with environmental guards}},
  year = 	 1992,
  month = 	 aug,
  url = 	 {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-264.pdf},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-264},
  number = 	 {UCAM-CL-TR-264}
}