The observation algebra of spatial pomsets

This publication has 17 references indexed in Scilit:

• Concurrency and atomicity
  Theoretical Computer Science, 1988
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• 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
• Algèbre de processus et synchronisation
  Theoretical Computer Science, 1984
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Dynamic Logic
  Published by Springer Nature ,1984
• The Weak Byzantine Generals Problem
  Journal of the ACM, 1983
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981