Protocol specifications and component adaptors
- 3 March 1997
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 19 (2) , 292-333
- https://doi.org/10.1145/244795.244801
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Specification and analysis of system architecture using RapideIEEE Transactions on Software Engineering, 1995
- ABC++: Concurrency by inheritance in C++IBM Systems Journal, 1995
- Extending typestate checking using conditional liveness analysisIEEE Transactions on Software Engineering, 1993
- Module reuse by interface adaptationSoftware: Practice and Experience, 1991
- Protocol conversionIEEE Transactions on Software Engineering, 1988
- A formal protocol conversion methodPublished by Association for Computing Machinery (ACM) ,1986
- Typestate: A programming language concept for enhancing software reliabilityIEEE Transactions on Software Engineering, 1986
- On the progress of communication between two finite state machinesInformation and Control, 1984
- On Communicating Finite-State MachinesJournal of the ACM, 1983
- Monotone data flow analysis frameworksActa Informatica, 1977