On undecidability of propositional temporal logics on trace systems
- 14 September 1992
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 43 (3) , 147-153
- https://doi.org/10.1016/0020-0190(92)90007-i
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Propositional temporal logics and equivalencesPublished by Springer Nature ,2006
- Defining Conditional Independence Using CollapsesPublished by Springer Nature ,1990
- A concurrent branching time temporal logicPublished by Springer Nature ,1990
- Concurrent systems and inevitabilityTheoretical Computer Science, 1989
- An efficient verification method for parallel and distributed programsPublished by Springer Nature ,1989
- Basic notions of trace theoryPublished by Springer Nature ,1989
- The anchored version of the temporal frameworkPublished by Springer Nature ,1989
- Interleaving set temporal logicPublished by Association for Computing Machinery (ACM) ,1987
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982