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