Safety for branching time semantics
- 1 January 1991
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- A complete axiomatisation for observational congruence of finite-state behavioursInformation and Computation, 1989
- The anchored version of the temporal frameworkPublished by Springer Nature ,1989
- Recognizing safety and livenessDistributed Computing, 1987
- The glory of the pastLecture Notes in Computer Science, 1985
- Notes on Algebraic Calculi of ProcessesPublished by Springer Nature ,1985
- Adequate proof principles for invariance and liveness properties of concurrent programsScience of Computer Programming, 1984
- Theory of ω-languagesI: Characterizations of ω-context-free languagesJournal of Computer and System Sciences, 1977
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977
- The emptiness problem for automata on infinite treesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1972
- Infinite sequences and finite machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1963