We apply Berry & Lévy's notion of equivalence by permutations to CCS and Meije/SCCS, thus obtaining a pomset transition semantics for these calculi. We show that this provides an operational counterpart for an event structure semantics for CCS and SCCS similar to the one given by Winskel.
CITATION STYLE
Boudol, G., & Castellani, I. (1989). Permutation of transitions: An event structure semantics for CCS and SCCS. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 354 LNCS, pp. 411–427). Springer Verlag. https://doi.org/10.1007/BFb0013028
Mendeley helps you to discover research relevant for your work.