A classification of models for concurrency

This publication has 10 references indexed in Scilit:

• A classification of models for concurrency
  Lecture Notes in Computer Science, 1993
• Deterministic behavioural models for concurrency
  Published by Springer Nature ,1993
• Models for Concurrency
  DAIMI Report Series, 1992
• Concurrent transition systems
  Theoretical Computer Science, 1989
• Basic notions of trace theory
  Published by Springer Nature ,1989
• Event structures
  Published by Springer Nature ,1987
• Concurrent Machines
  The Computer Journal, 1985
• Event structure semantics for CCS and related languages
  Published by Springer Nature ,1982
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981
• Formal verification of parallel programs
  Communications of the ACM, 1976