Specification and verification of concurrent systems in CESAR
Authors:
- 1 January 1982
- book chapter
- Published by Springer Nature
- p. 337-351
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Verification of Concurrent Programs. Part I. The Temporal Framework,1981
- The temporal logic of branching time1981
- Synthesis of Resource Invariants for Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1980
- On the temporal analysis of fairness1980
- Distributed processesCommunications of the ACM, 1978
- Automatic discovery of linear restraints among variables of a program1978
- 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 Logic1971
- A note on reliable full-duplex transmission over half-duplex linksCommunications of the ACM, 1969