- A. Udaya Shankar, Simon S. Lam:
On Time-Dependent Communication Protocols and Their Projections. PSTV 1982: 215-235 - Deepinder P. Sidhu:
Protocol Design Rules. PSTV 1982: 283-300 - Gerald A. Simon, David J. Kaufman:
An Extended Finite State Machine Approach to Protocol Specification. PSTV 1982: 113-133 - Carl A. Sunshine:
Experience with Four Automated Verification Systems. PSTV 1982: 373-379 - Friedrich H. Vogt:
Event-Based Temporal Logic Specifications of Services and Protocols. PSTV 1982: 63-73 - Richard W. Watson:
An Experience in Transport Protocol Specification Using an Algorithmic Programming Language. PSTV 1982: 237-247 - Colin H. West:
Applications and Limitations of Automated Protocol Validation. PSTV 1982: 361-371 - Lawrence Yelowitz, Susan L. Gerhart, G. Hilborn:
Modeling a Network Protocol in AFFIRM and Ada. PSTV 1982: 435-450 - Yechiam Yemini, James F. Kurose:
Towards the Unification of the Functional and Performance Analysis of Protocols, or is the Alternating-Bit Protocol Really Correct?. PSTV 1982: 189-196 - Yao-Tin Yu, Mohamed G. Gouda:
Deadlock Detection for a Class of Communicating Finite State Machine. PSTV 1982: 319 - Carl A. Sunshine:
Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982. North-Holland 1982, ISBN 0-444-86481-4 [contents]
