Volume 14, Number 2, June 1984
John G. Fletcher
: Serial link protocol design: A critique of the X.25 standard, level 2.
: A methodology for protocol design and specification based on an extended state transition model.
Ana R. Cavalli
: A method of automatic proof for the specification and verification of protocols.
, Ulrich Killat
: Performance analysis of an access method suitable for the integration of voice and data.
: Some critical considerations on the ISO/OSI RM from a network implementation point of view.
M. F. Dolan
: A minimal duplex connection capability in the top three layers of the OSI reference model.
: Communication primitives supporting the execution of atomic actions at remote sites.
Rami R. Razouk
: The derivation of performance expressions for communication protocols from timed petri net models.
Douglas B. Terry
: An analysis of naming conventions for distributed computer systems.
, Paul F. Bay
: Analytic solution of an integrated performance model of a computer communication network with window flow control.
Stephen William Edge
: An adaptive timeout algorithm for retransmission across a packet switching network.
: Some issues in protocol implementation testing.