Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces

This publication has 9 references indexed in Scilit:

• The “last” decision problem for rational trace languages
  Published by Springer Nature ,2005
• Design tools for requirements engineering
  Bell Labs Technical Journal, 2002
• Difficult configurations — on the complexity of LTrL
  Published by Springer Nature ,1998
• Deciding properties for message sequence charts
  Published by Springer Nature ,1998
• Syntactic detection of process divergence and non-local choice in message sequence charts
  Published by Springer Nature ,1997
• The Book of Traces
  Published by World Scientific Pub Co Pte Ltd ,1995
• On recognizable subsets of free partially commutative monoids
  Theoretical Computer Science, 1988
• Semi-commutations
  Information and Computation, 1987
• Semigroups, Presburger formulas, and languages
  Pacific Journal of Mathematics, 1966