A logic for distributed transition systems
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 508-522
- https://doi.org/10.1007/bfb0013033
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Decidability and Undecidability in Distributed Transition SystemsPublished by World Scientific Pub Co Pte Ltd ,1989
- Operational Petri net semantics for CCSPPublished by Springer Nature ,1987
- Temporal Logic of ProgramsPublished by Springer Nature ,1987
- The glory of the pastPublished by Springer Nature ,1985
- Deterministic propositional dynamic logic: Finite models, complexity, and completenessJournal of Computer and System Sciences, 1982
- An elementary proof of the completeness of PDLTheoretical Computer Science, 1981
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- On observing nondeterminism and concurrencyLecture Notes in Computer Science, 1980
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979