An introduction to event structures

This publication has 12 references indexed in Scilit:

• On the consistency of 'truly concurrent' operational and denotational semantics
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Petri nets are monoids: a new algebraic foundation for net theory
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A category of labelled Petri nets and compositional proof system
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A modal logic for a subclass of event structures
  Lecture Notes in Computer Science, 1987
• On the semantics of concurrency: Partial orders and transition systems
  Published by Springer Nature ,1987
• The system F of variable types, fifteen years later
  Theoretical Computer Science, 1986
• Sequential algorithms on concrete data structures
  Theoretical Computer Science, 1982
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Time, clocks, and the ordering of events in a distributed system
  Communications of the ACM, 1978