Abstract is missing.
- OSI Protocol Testing at the Corporation for Open SystemsIan C. Davidson. 3-12
- An Architectural Semantics for LOTOSKenneth J. Turner. 15-28
- Towards Truly Open SystemsBranislav Meandzija, William P.-C. Ho. 29-40
- How Could Estelle Become a Better FDT?Jean-Pierre Courtiat. 43-60
- PASS - A Technique for Specifying Communication ProtocolsAlbert Fleischmann. 61-76
- Communicating Rule SystemsLothar F. Mackert, Iris B. Neumeier-Mackert. 77-88
- An Atomic Calculus of Communicating SystemsAbdellatif Obaid, Luigi Logrippo. 91-104
- Introduction of Quantitative Relative Time into LOTOSJuan Quemada, Angel Fernández. 105-121
- The Intertwining of Data Types and Processes in LOTOSGuy Leduc. 123-136
- Usage of Protocol Development Tools: The Results of a SurveyGregor von Bochmann. 139-161
- Fundamental Results for the Verification of Observational Equivalence: A SurveyTommaso Bolognesi, Scott A. Smolka. 165-179
- A Verification Oriented Specification in LOTOS of the Transport ProtocolElie Najm. 181-203
- Protocol Description and Analysis Based on a State Transition Model with Channel ExpressionsJan K. Pachl. 207-219
- Proof of Specification Properties by Using Finite State Machines and Temporal LogicAna R. Cavalli, François Horn. 221-233
- Verification in XESAR of the Sliding Window ProtocolJean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron. 235-248
- Experiences with a Verification and Simulation Tool for Behavioural LanguagesGiuseppe Pappalardo. 251-264
- Simulating Estelle Specifications with Time ParametersPiotr Dembinski, Stanislaw Budkowski. 265-279
- Executable LOTOS: Using PARLOG to Implement an FDTDavid Gilbert. 281-294
- LAN Broadcast Protocols for Implementing the CCA ModelSudhir Aggarwal, Daniel Barbará, Costas Courcoubetis. 297-306
- Probabilistic Verification of Communication ProtocolsNicholas F. Maxemchuk, Krishan K. Sabnani. 307-320
- Protocol Performance Using Image ProtocolsPieter S. Kritzinger. 321-335
- On Limits and Possibilities of Automated Protocol AnalysisGerard J. Holzmann. 339-344
- A Test Derivation Method for Protocol Conformance TestingHasan Ural. 347-358
- Network Management and Directory Services Test SystemK. H. Muralidhar. 359-372
- Translation of Formal Protocol Specifications to VLSI DesignsA. S. Krishnakumar, B. Krishnamurthy, Krishan K. Sabnani. 375-390
- Development of Communication Software by Stepwise RefinementJohannes Freudenmann. 391-404
- Protocol Conversion Method for Heterogeneous Systems Interconnection in Multi-Profile EnvironmentYasuhiro Ohara, Shizuo Yoshitake, Tsukasa Kawaoka. 405-418
- Protocol Testing for the ISDN D-Channel Network LayerErwin P. Rathgeb, Christian Homann, Hong Linh Truong, Gerd Waldmann. 421-434
- Using Checking Sequences for OSI Session Layer Conformance TestingWillem Hengeveld, Jan Kroon. 435-449
- Note on the Early History of Layered ArchitectureHarry Rudin. 453-454