Configuration structures

This publication has 15 references indexed in Scilit:

• On the semantics of Petri Nets
  Published by Springer Nature ,2006
• Gates accept concurrent behavior
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Refinement of actions and equivalence notions for concurrent systems
  Acta Informatica, 2001
• On the nature of events: another perspective in concurrency
  Theoretical Computer Science, 1995
• Using information systems to solve recursive domain equations
  Information and Computation, 1991
• Modeling concurrency with geometry
  Published by Association for Computing Machinery (ACM) ,1991
• Refinement of actions in causality based models
  Published by Springer Nature ,1990
• The non-sequential behaviour of Petri nets
  Information and Control, 1983
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980