Verification of message sequence charts via template matching

This publication has 8 references indexed in Scilit:

• Computer-Aided Verification
  Published by Springer Nature ,1993
• Protocol design by layered decomposition
  Published by Springer Nature ,1991
• Sequential and concurrent behaviour in Petri net theory
  Theoretical Computer Science, 1987
• Modeling concurrency with partial orders
  International Journal of Parallel Programming, 1986
• Decomposition of distributed programs into communication-closed layers
  Science of Computer Programming, 1982
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981
• Relationships between nondeterministic and deterministic tape complexities
  Journal of Computer and System Sciences, 1970
• Representation of Events in Nerve Nets and Finite Automata
  Published by Walter de Gruyter GmbH ,1956