Deciding global partial-order properties

This publication has 10 references indexed in Scilit:

• A trace based extension of linear time temporal logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An expressively complete linear time temporal logic for Mazurkiewicz traces
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Model-checking of causality properties
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Difficult configurations — on the complexity of LTrL
  Published by Springer Nature ,1998
• A Logical Study of Distributed Transition Systems
  Information and Computation, 1995
• Model checking using net unfoldings
  Science of Computer Programming, 1994
• A Partial Approach to Model Checking
  Information and Computation, 1994
• On undecidability of propositional temporal logics on trace systems
  Information Processing Letters, 1992
• Trace theory
  Published by Springer Nature ,1987
• Modeling concurrency with partial orders
  International Journal of Parallel Programming, 1986