Abstract is missing.
- An Improved Failures Equivalence for Finite-State Systems with a Reduction AlgorithmAntti Valmari, Martti Tienari. 3-18
- Compressed State Space Representation in LOTOS with the Interleaved ExpansionJuan Quemada. 19-35
- Structuring Mechanisms for the Formal Description Technique CRSRoelof Jan Velthuys, Lothar F. Mackert, Jürgen M. Schneider, Georg Zörntlein. 39-57
- A Formalization of Temporal Message-Flow DiagramsAlistair Cockburn. 59-74
- An Extension of the Multi-Way Synchronization Mechanism Concealed by EstellePierre de Saqui-Sannes, Jean-Pierre Courtiat. 75-89
- A Composition Theorem for Layered SystemsSimon S. Lam, A. Udaya Shankar. 93-108
- Stepwise Refinement of Reactive Processor FarmsKaisa Sere. 109-124
- Automatic Implementation of TP4/IP with an Estelle Workstation. Development Methodology and Performance EvaluationEnrique Vázquez, Pedro Sandoval, Marifeli Sedano, Juan Vinyes. 125-139
- A Modular Approach for the Validation of Communication Protocols Using FIFO NetsYounes Souissi. 143-158
- An expressive trace theory for LOTOSS. Gallouzi, Luigi Logrippo, Abdellatif Obaid. 159-175
- Stochastic Petri Net Modeling of the FDDI Network ProtocolIan F. Akyildiz, Giovanni Chiola, Daniel Kofman, Hayri Korezlioglu. 179-197
- Performance Description and Analysis for Distributed Systems Using a Variant of LOTOSNathalie Rico, Gregor von Bochmann. 199-213
- A Constrained Approach for Temporal Intervals in the Analysis of Timed TransitionsYow-Jian Lin, Gene T. J. Wuu. 215-230
- A Framework for Test SelectionEd Brinksma, Jan Tretmans, Louis Verhaard. 233-248
- Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOSGuy Leduc. 249-264
- LAPB Conformance Testin Using Trace AnalysisRussil Wvong. 267-282
- Presentation Layer Conformance Testing with TTCNUdo Bär, Martin Strecker, Willi Stoll, Wolfgang Effelsberg. 283-298
- Generating Test Sequences and their Degrees of Indeterminism for ProtocolsTo-Yat Cheung, Youwen Wu, Ye Xinming. 301-316
- Test Generation for the Specification Written in EstelleDo Y. Lee, Jai-Yong Lee. 317-332
- Towards Automatic Test Generation for Protocol Data AspectsErik Kwast. 333-348
- Protocol Conformance Testing by Discriminating UIO SequencesX. Sun, Yinan N. Shen, Fabrizio Lombardi, Donatella Sciuto. 349-364