An expressively complete linear time temporal logic for Mazurkiewicz traces
- 22 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Locally linear time temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An algorithmic approach for checking closure properties of Ω-regular languagesPublished by Springer Nature ,1996
- Partial order reduction: Model-checking using representativesPublished by Springer Nature ,1996
- Linear time temporal logics over Mazurkiewicz tracesPublished by Springer Nature ,1996
- Trace Structures and other Models for ConcurrencyPublished by World Scientific Pub Co Pte Ltd ,1995
- A trace consistent subset of PTLPublished by Springer Nature ,1995
- Logical definability on infinite tracesPublished by Springer Nature ,1993
- A stubborn attack on state explosionFormal Methods in System Design, 1992
- Asynchronous cellular automata for infinite tracesPublished by Springer Nature ,1992
- On the temporal analysis of fairnessPublished by Association for Computing Machinery (ACM) ,1980