A Partial Ordering Semantics for CCS


A new operatilcrnql semantics for *‘pure” CCS is proposed that considers the parallel operator as a first class one, and permits a description of the calculus in terms of partial orderings. The new semantics (also for unguarded agents) is given in the SOS style via the partial ordering derivation relation. CCS agenis are decomposed into sets of sequential… (More)
DOI: 10.1016/0304-3975(90)90095-Y


9 Figures and Tables

Slides referencing similar topics