Probabilistic verification of communication protocols
- 1 September 1989
- journal article
- Published by Springer Nature in Distributed Computing
- Vol. 3 (3) , 118-129
- https://doi.org/10.1007/bf01784022
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- An algorithmic procedure for checking safety properties of protocolsIEEE Transactions on Communications, 1989
- An algorithmic technique for protocol verificationIEEE Transactions on Communications, 1988
- Verification of multiprocess probabilistic protocolsDistributed Computing, 1986
- Closed Covers: To Verify Progress for Communicating Finite State MachinesIEEE Transactions on Software Engineering, 1984
- Protocol Verification via ProjectionsIEEE Transactions on Software Engineering, 1984
- Modular Verification of Computer Communication ProtocolsIEEE Transactions on Communications, 1983
- A Validation Technique for Tightly Coupled ProtocolsIEEE Transactions on Computers, 1982
- Communicating sequential processesCommunications of the ACM, 1978
- Fast Sequential Decoding Algorithm Using a StackIBM Journal of Research and Development, 1969
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966