Difficult configurations — on the complexity of LTrL
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 140-151
- https://doi.org/10.1007/bfb0055048
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A trace based extension of linear time temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An expressively complete linear time temporal logic for Mazurkiewicz tracesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Model-checking of causality propertiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Deciding global partial-order propertiesPublished by Springer Nature ,1998
- An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz TracesBRICS Report Series, 1996
- A Logical Study of Distributed Transition SystemsInformation and Computation, 1995
- Proving partial order propertiesTheoretical Computer Science, 1994
- A stubborn attack on state explosionFormal Methods in System Design, 1992
- On undecidability of propositional temporal logics on trace systemsInformation Processing Letters, 1992
- The complexity of propositional linear temporal logicsJournal of the ACM, 1985