Behavioural presentations

This publication has 9 references indexed in Scilit:

• Petri nets, event structures and domains
  Published by Springer Nature ,2005
• Algebraic Models of Parallelism and Net Theory
  Published by Springer Nature ,1987
• Concurrent Machines
  The Computer Journal, 1985
• A fair calculus of communicating systems
  Published by Springer Nature ,1983
• Event structure semantics for CCS and related languages
  Published by Springer Nature ,1982
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Elements of general net theory
  Published by Springer Nature ,1980
• Concurrent Program Schemes and their Interpretations
  DAIMI Report Series, 1977
• Formal verification of parallel programs
  Communications of the ACM, 1976