On the construction of multiphase communication protocols
- 17 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 151-158
- https://doi.org/10.1109/icnp.1994.344365
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A compositional approach for designing protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An improved method for constructing multiphase communications protocolsIEEE Transactions on Computers, 1993
- Probabilistic verification of communication protocolsDistributed Computing, 1989
- A methodology for constructing communication protocols with multiple concurrent functionsDistributed Computing, 1988
- Protocol verification using reachability analysis: the state space explosion problem and relief strategiesACM SIGCOMM Computer Communication Review, 1987
- A discipline for constructing multiphase communication protocolsACM Transactions on Computer Systems, 1985
- Protocol validation by fair progress state explorationComputer Networks and ISDN Systems, 1985
- On Communicating Finite-State MachinesJournal of the ACM, 1983
- A decomposition method for the analysis and design of finite state protocolsPublished by Association for Computing Machinery (ACM) ,1983
- Finite state description of communication protocolsComputer Networks (1976), 1978