Specification and verification of concurrent systems in CESAR
- 1 January 1982
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 337-351
- https://doi.org/10.1007/3-540-11494-7_22
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Verification of Concurrent Programs. Part I. The Temporal Framework,Published by Defense Technical Information Center (DTIC) ,1981
- The temporal logic of branching timePublished by Association for Computing Machinery (ACM) ,1981
- Synthesis of Resource Invariants for Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1980
- On the temporal analysis of fairnessPublished by Association for Computing Machinery (ACM) ,1980
- Distributed processesCommunications of the ACM, 1978
- Automatic discovery of linear restraints among variables of a programPublished by Association for Computing Machinery (ACM) ,1978
- Formal verification of parallel programsCommunications of the ACM, 1976
- Formal semantics of a class of high-level primitives for coordinating concurrent processesActa Informatica, 1975
- Temporal LogicPublished by Springer Science and Business Media LLC ,1971
- A note on reliable full-duplex transmission over half-duplex linksCommunications of the ACM, 1969