Volume 6, Number 1, February 1982
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 6, Number 2, May 1982
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 6, Number 3, July 1982 6th Berkeley Workshop on Distributed Data Management and Networks
export record as
dblp key:
export record as
dblp key:
Bernd Walter :
A Robust and Efficient Protocol for Checking the Availability of Remote Sites.
173-188
export record as
dblp key:
export record as
dblp key:
Volume 6, Number 4, September 1982
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Wai Sum Lai :
An Analysis of Piggybacking in Packet Networks.
279-290
Volume 6, Number 5, November 1982
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 6, Number 6, December 1982 Protocol Specification, Testing and Verification
export record as
dblp key:
Carl A. Sunshine :
Protocol Specification, Testing and Verification - Guest Editorial.
375-376
export record as
dblp key:
export record as
dblp key:
David Rayner :
A System for Testing Protocol Implementations.
383-395
export record as
dblp key:
journals/cn/PiatkowskiIH82
export record as
dblp key:
Michel Diaz :
Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models.
419-441