Permutation of transitions: An event structure semantics for CCS and SCCS

This publication has 14 references indexed in Scilit:

• Editorial
  Theoretical Computer Science, 1988
• Weak and strong fairness in CCS
  Information and Computation, 1987
• Petri net models for algebraic theories of concurrency
  Published by Springer Nature ,1987
• On the semantics of concurrency: Partial orders and transition systems
  Published by Springer Nature ,1987
• Linear logic
  Theoretical Computer Science, 1987
• Partial ordering derivations for CCS
  Published by Springer Nature ,1985
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981
• Minimal and Optimal Computations of Recursive Programs
  Journal of the ACM, 1979
• Concurrent Program Schemes and their Interpretations
  DAIMI Report Series, 1977