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} }