Abstract is missing.
- Signalling System No.7, The Network LayerIan J. Hayes, M. Mowbray, Gordon A. Rose. 3-14
- Functional Specification for an ISDN Switching System: an Experience using EstelleMarc Phalippou. 15-24
- Formal Specifications of Telephone Systems in LOTOSMohammed Faci, Luigi Logrippo, Bernard Stepien. 25-34
- Design and verification in real-time distributed computing: an introduction to compositional methodsWillem P. de Roever, Jozef Hooman. 37-56
- A Verification Method for LOTOS Specifications and its ApplicationNorio Shiratori, Hiroaki Kaminaga, Kaoru Takahashi, Shoichi Noguchi. 59-70
- Stepwise Refinement of Layered Protocols by Formal Program DevelopmentTerry Stroup, Norbert Götz, Michael Mendler. 71-85
- A Testing Theory for LOTOS using Deadlock DetectionRom Langerak. 87-98
- Design and Implementation of a Ferry Clip Test SystemSamuel T. Chanson, B. P. Lee, N. J. Parakh, Hua-Xin Zeng. 101-118
- On Test Sequence Generation for ProtocolsWendy Y. L. Chan, Son T. Vuong, Mabo Robert Ito. 119-130
- Protocol Conformance Testing Using Multiple UIO SequencesYinan N. Shen, Fabrizio Lombardi, Anton T. Dahbura. 131-143
- The CO-OP Method for Compositional Derivation of Conformance TestersClazien D. Wezeman. 145-158
- A Multi-Processor Estelle-to-C Compiler to Prototype Algorithms on Parallel MachinesClaude Jard, Jean-Marc Jézéquel. 161-174
- Combining ASN1 Support with the LOTOS LanguageGregor von Bochmann, Michel Deslauriers. 175-186
- Compilation of LOTOS Data Type SpecificationsDietmar Wolz, Paul Boehm. 187-202
- Open Distributed ProcessingJ. J. van Griethuysen. 205-219
- Verification Results for ISO FTAM Basic ProtocolRichard Lai, Tharam S. Dillon, Ken R. Parker. 223-234
- Automated Verification of Equivalence of Protocol MachinesTeruo Higashino, Kiyoshi Ninomiya, Tomohisa Kimoto, Kenichi Taniguchi, Masaaki Mori. 235-246
- Including a Queue in a Formal-Description-Driven Protocol Performance AnalysisJan Gustavsson, Harry Rudin. 247-258
- On Executable Specifications, Validation, and Testing of MAC-Level ProtocolsPawel Gburzynski, Piotr Rudnicki. 261-273
- LOTOS Tools Based on the Cornell Synthesizer GeneratorPeter van Eijk. 275-286
- A Semantics Based Verification Tool for Finite State SystemsRance Cleaveland, Joachim Parrow, Bernhard Steffen. 287-302
- A Software Environment for OSI Protocol Testing SystemsR. Isaac Chan, Brian R. Smith, Gerald W. Neufeld, Samuel T. Chanson, W. B. Davis, Son T. Vuong, H. L. See, S. Chan. 303-314
- Validating SDL Specifications: an ExperimentGerard J. Holzmann, Joanna Patti. 317-326
- Dynamic State Exploration in Quantitative Protocol AnalysisDragomir D. Dimitrijevic, Mon-Song Chen. 327-338
- Parallel Protocol Verification: The Two-Phase AlgorithmMaria C. Yuang, Aaron Kershenbaum. 339-353
- Verifying Safety and Deadlock Properties of Networks of Asynchronously Communicating ProcessesFredrik Orava. 357-371
- Extensions of Temporal Logic for Counting with Applications to Model VerificationRobert P. Kurshan, Shlomit S. Pinter, Baruch Solomon. 373-386
- Axioms of Communication Using Temporal Logic with PastBrigitte Pradin-Chezalviel, Michel Diaz. 387-399