Linear and branching structures in the semantics and logics of reactive systems
- 7 June 2005
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableThis publication has 24 references indexed in Scilit:
- A linear-history semantics for languages for distributed programmingTheoretical Computer Science, 1984
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- A modal characterization of observational congruence on finite terms of CCSLecture Notes in Computer Science, 1984
- Now you may compose temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1984
- The temporal logic of branching timeActa Informatica, 1983
- "Sometimes" and "not never" revisitedPublished by Association for Computing Machinery (ACM) ,1983
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- On the temporal analysis of fairnessPublished by Association for Computing Machinery (ACM) ,1980
- Semantics of nondeterminism, concurrency, and communicationJournal of Computer and System Sciences, 1979
- Assigning meanings to programsProceedings of Symposia in Applied Mathematics, 1967