Tracing Protocols
- 1 December 1985
- journal article
- website
- Published by Institute of Electrical and Electronics Engineers (IEEE) in AT&T Technical Journal
- Vol. 64 (10), 2413-2433
- https://doi.org/10.1002/j.1538-7305.1985.tb00010.x
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Proposed Specification of BX.25 Link Layer ProtocolAT&T Technical Journal, 1985
- A Theory for Protocol ValidationIEEE Transactions on Computers, 1982
- Towards Analyzing and Synthesizing ProtocolsIEEE Transactions on Communications, 1980
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Communicating sequential processesCommunications of the ACM, 1978
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975