Abstract is missing.
- Formalisation of behavioural and structural concepts for communication systemsPaul King, Graeme Smith. 3-18
- A derivation of a broadcasting protocol using sequentially phased reasoningFrank A. Stomp. 19-32
- Modelling flow control in EstelleRichard L. Tenney. 33-44
- The first ten years, the next ten yearsDeepinder P. Sidhu. 47-68
- A notation for specifying test selection criteriaJan K. Pachl. 71-84
- Approaches utilizing segment overlap to minimize test sequencesMon-Song Chen, Yanghee Choi, Aaron Kershenbaum. 85-98
- Towards execution of TTCN test casesSrinivas Eswara, Tom Berriman, Philip VanHoutte, Behçet Sarikaya. 99-112
- An environment for interactive design of communications architecturesAlistair Cockburn, Wayne Citrin, Rainer Hauser, Jürg von Känel. 115-127
- Development of an international standard for conformance testing X.25 DTEs January 1988 - May 1989N. P. Alfano, B. Kanungo. 129-140
- An ASN.1 encoder/decoder and its performanceMurat Bilgic, Behçet Sarikaya. 141-154
- On the use of specification styles for automated protocol implementation from LOTOS to CPeter van Eijk, Harro Kremer, Marten van Sinderen. 157-168
- A LOTOS compiler and process synchronization managerShingo Nomura, Toru Hasegawa, Takashi Takizuka. 169-182
- Incremental specification in LOTOSHaruhisa Ichikawa, Kenjiroh Yamanaka, June Kato. 183-196
- Protocol verification: the first ten years, the next ten years; some personal observationsRaymond E. Miller. 199-225
- Decomposition of functionality: a correctness-preserving LOTOS transformationRom Langerak. 229-242
- Supervisory control of communicating processesKaren Rudie, W. Murray Wonham. 243-257
- Specification and verification of real time systems in ACPJan Friso Groote. 261-274
- Algebraic descriptions of mobile networks: An exampleFredrik Orava, Joachim Parrow. 275-291
- Specifying communication services with temporal logicReinhard Gotzhein. 295-309
- Authentication in Open SystemsEinar Snekkenes. 311-324
- Object-oriented protocol specificationRoger Duke, Gordon A. Rose, Anthony Lee. 325-338
- FDTs for open distributed systems, a retrospective and a prospective viewChris A. Vissers. 341-362
- Compositional logic semantics and LOTOSAlessandro Fantechi, Stefania Gnesi, Gioia Ristori. 365-378
- Compilation and verification of LOTOS specificationsHubert Garavel, Joseph Sifakis. 379-394
- From timed Petri nets to timed LOTOSTommaso Bolognesi, Ferdinando Lucidi, Sebastiano Trigila. 395-408
- The first ten years, the next ten yearsColin H. West. 411-414