Volume 14,
Number 2,
June 1984
- Ian M. Leslie, Roger M. Needham, John W. Burren, Graham C. Adams:
The architecture of the universe network.
2-9
- Christopher S. Cooper:
Managed file distribution on the universe network.
10-17
- A. Gill Waters, Christopher J. Adams:
The satellite transmission protocol of the universe project.
18-24
- John G. Fletcher:
Serial link protocol design: A critique of the X.25 standard, level 2.
26-33
- Richard Chung:
A methodology for protocol design and specification based on an extended state transition model.
34-41
- Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam:
An exercise in constructing multi-phase communication protocols.
42-49
- A. Gill Waters, Christopher J. Adams, Ian M. Leslie, Roger M. Needham:
The use of broadcast techniques on the universe network.
52-57
- Lorenzo Aguilar:
Datagram routing for internet multicasting.
58-63
- David R. Cheriton, Willy Zwaenepoel:
One-to-many interprocess communication in the V-system.
64
- Jean-Pierre Courtiat, Jean-Michel Ayache, B. Algayres:
Petri nets are good for protocols.
66-74
- Wolfgang Jürgensen, Son T. Vuong:
Formal specification and validation of ISO transport protocol components, using petri nets.
75-82
- Heiko Krumm, Oswald Drobnik:
Interactive verification of communication software on the basis of CIL.
92-99
- Ana R. Cavalli:
A method of automatic proof for the specification and verification of protocols.
100-106
- Vincenza Carchiolo, Alberto Faro, Giuseppe Scollo:
A temporal ordering specification of some session services.
107-114
- Keith A. Lantz, William I. Nowicki, Marvin Theimer:
Factors affecting the performance of distributed applications.
116-123
- C. Murray Woodside, J. R. Montealegre, Raymond J. A. Buhr:
A performance model for hardware/software issues in computer-aided design of protocol systems.
132-139
- Jeffrey M. Jaffe, Adrian Segall:
Automatic update of replicated topology data bases.
142-148
- Hasan Ural, Robert L. Probert:
Automated testing of protocol specifications and their implementations.
149-155
- Jean-Pierre Ansart, Omar Rafiq, Richard Castanet, Pascal Guitton:
Some operational tools in a OSI protocols study environment.
156-161
- Niels Nørup Pedersen, Robin Sharp:
Analysis of channel access schemes for high-speed LANs.
164-171
- J.-P. Behr, Ulrich Killat:
Performance analysis of an access method suitable for the integration of voice and data.
172-177
- Ignas G. Niemegeers, Chris A. Vissers:
Twentenet: A LAN with message priorities, design and performance considerations.
178-185
- Radu Popescu-Zeletin:
Some critical considerations on the ISO/OSI RM from a network implementation point of view.
188-194
- M. F. Dolan:
A minimal duplex connection capability in the top three layers of the OSI reference model.
195-200
- Kurt Rothermel:
Communication primitives supporting the execution of atomic actions at remote sites.
201-208
- Rami R. Razouk:
The derivation of performance expressions for communication protocols from timed petri net models.
210-217
- Douglas B. Terry:
An analysis of naming conventions for distributed computer systems.
218-224
- Alexander Thomasian, Paul F. Bay:
Analytic solution of an integrated performance model of a computer communication network with window flow control.
225-232
- Panos Economopoulos, Mart L. Molle:
On the performance of slotted ALOHA in a spread spectrum environment.
234-241
- D. P. Gerakoulis, Tarek N. Saadawi, Donald L. Schilling:
A class of tree algorithms with variable message length.
242-247
- Stephen William Edge:
An adaptive timeout algorithm for retransmission across a packet switching network.
248-255
- Robert P. Blanc:
Protocol testing methdology development at NBS.
258
- Eduard Cerny:
Some issues in protocol implementation testing.
259-260
- E. Douglas Jensen:
Physically dispersing an operating system.
261
- Marvin H. Solomon:
Multiprocessors and computer networks.
262-263
Copyright © Tue Nov 17 01:24:05 2009
by Michael Ley (ley@uni-trier.de)
