A theory of interfaces and modules I-composition theorem
- 1 January 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 20 (1), 55-71
- https://doi.org/10.1109/32.263755
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Applying a theory of modules and interfaces to security verificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A rely and guarantee method for timed CSP: a specification and design of a telephone exchangeIEEE Transactions on Software Engineering, 1993
- Specifying modules to satisfy interfaces: A state transition system approachDistributed Computing, 1992
- A stepwise refinement heuristic for protocol constructionACM Transactions on Programming Languages and Systems, 1992
- A simple approach to specifying concurrent systemsCommunications of the ACM, 1989
- Hierarchical correctness proofs for distributed algorithmsPublished by Association for Computing Machinery (ACM) ,1987
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Proofs of Networks of ProcessesIEEE Transactions on Software Engineering, 1981
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Hierarchical ordering of sequential processesActa Informatica, 1971