Department of Computer Science and Technology

Technical reports

Introducing a priority operator to CCS

Juanito Camilleri

January 1989, 19 pages

DOI: 10.48456/tr-157

Abstract

In this paper we augment the syntax of CCS by introducing a priority operator. We present a syntax directed operational semantics of the language as a labelled transition system. A new equivalence relation which is based on Milner’s strong observational equivalence [11] is defined and proved to be a congruence. We also give some examples which illustrate the use of the operator and emphasise the novelty of the approach used to introduce the notion prior to process algebras.

Full text

PDF (0.8 MB)

BibTeX record

@TechReport{UCAM-CL-TR-157,
  author =	 {Camilleri, Juanito},
  title = 	 {{Introducing a priority operator to CCS}},
  year = 	 1989,
  month = 	 jan,
  url = 	 {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-157.pdf},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-157},
  number = 	 {UCAM-CL-TR-157}
}