Abstract:
We apply Berry and Lévy's notion of equivalence by permutations to CCS and MEIJE/SCCS to obtain a pomset semantics for these calculi. We show that this provides an operational counterpart for an event structure semantics for CCS and SCCS similar to that given by Winskel.