An introduction to modal and temporal logics for CCS
- 1 January 1991
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- The concurrency workbenchLecture Notes in Computer Science, 1990
- Automated analysis of mutual exclusion algorithms using CCSFormal Aspects of Computing, 1989
- Local model checking in the modal mu-calculusLecture Notes in Computer Science, 1989
- Temporal logics for CCSPublished by Springer Nature ,1989
- The anchored version of the temporal frameworkPublished by Springer Nature ,1989
- Branching time temporal logicPublished by Springer Nature ,1989
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- On observing nondeterminism and concurrencyLecture Notes in Computer Science, 1980