Using branching time temporal logic to synthesize synchronization skeletons
- 1 December 1982
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 2 (3), 241-266
- https://doi.org/10.1016/0167-6423(83)90017-5
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Synthesis of communicating processes from Temporal Logic specificationsPublished by Springer Nature ,2005
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- Decision procedures and expressiveness in the temporal logic of branching timePublished by Association for Computing Machinery (ACM) ,1982
- The Total Correctness of Parallel ProgramsSIAM Journal on Computing, 1981
- Finite models for deterministic propositional dynamic logicLecture Notes in Computer Science, 1981
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981
- A near-optimal method for reasoning about actionJournal of Computer and System Sciences, 1980
- On the temporal analysis of fairnessPublished by Association for Computing Machinery (ACM) ,1980
- Program invariants as fixedpointsComputing, 1979
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955