Read-write causality

This publication has 14 references indexed in Scilit:

• Concurrency and automata on infinite sequences
  Published by Springer Nature ,2005
• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Automatizing Parametric Reasoning on Distributed Concurrent Systems
  Formal Aspects of Computing, 1994
• Universal axioms for bisimulations
  Theoretical Computer Science, 1993
• A partial ordering semantics for CCS
  Theoretical Computer Science, 1990
• Causal trees
  Published by Springer Nature ,1989
• Modeling concurrency with partial orders
  International Journal of Parallel Programming, 1986
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Algebraic laws for nondeterminism and concurrency
  Journal of the ACM, 1985
• Event structure semantics for CCS and related languages
  Published by Springer Nature ,1982