Composing specifications
- 1 January 1990
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- A simple approach to specifying concurrent systemsCommunications of the ACM, 1989
- Appraising fairness in languages for distributed programmingDistributed Computing, 1988
- Hierarchical correctness proofs for distributed algorithmsPublished by Association for Computing Machinery (ACM) ,1987
- A really abstract concurrent model and its temporal logicPublished by Association for Computing Machinery (ACM) ,1986
- Defining livenessInformation Processing Letters, 1985
- Protocol Verification via ProjectionsIEEE Transactions on Software Engineering, 1984
- The ``Hoare Logic'' of CSP, and All ThatACM Transactions on Programming Languages and Systems, 1984
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- Proofs of Networks of ProcessesIEEE Transactions on Software Engineering, 1981
- Proof of correctness of data representationsActa Informatica, 1972