Abstract is missing.
- X.25 Protocol Verification Facility for AT&T NoM. H. Sherif, V. Miller, E. Woo. 1
- Attacking a Complex Distributed Algorithm from Different Sides: An Experience with Complementary Validation ToolsRoland Groz, Claude Jard, Claire Lassudrie. 3-17
- Backward Symbolic Execution of ProtocolsGerard J. Holzmann. 19-30
- Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CILHeiko Krumm, Oswald Drobnik. 31-45
- On the Decidability of Livelock Detection in Networks of Communicating Finite State MachinesMohamed G. Gouda, Ching-Hua Chow, Simon S. Lam. 47-56
- On Constructing Multi-Phase Communication ProtocolsChing-Hua Chow, Mohamed G. Gouda, Simon S. Lam. 57-68
- Temporal Logic Specification of a Virtual Ring LAN Access ProtocolDaniel Schwabe, Ana R. Cavalli. 79-91
- Testing Protocol Robustness the CCS WayScott A. Smolka, Ariel J. Frank, Saumya K. Debray. 93-108
- An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked ExampleRichard Castanet, Pascal Guitton, Omar Rafiq. 111-125
- Automated Implementation from Formal SpecificationS. Aggarwal, Robert P. Kurshan. 127-136
- Use of Formal Specifications for Protocol Design, Implementation and TestingGregor von Bochmann, Eduard Cerny, G. Gerber, Rachida Dssouli, Michel Maksud, B. H. Phan, Behçet Sarikaya, Jean-Marc Serre. 137-144
- Formal Description of the Nadir Transport Protocol Using the PDIL LanguageIsabelle Valet, Dominique Rerat. 147-163
- Modelling of OSI-Communication Services and Protocols Using Predicate/Transition NetsHeinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth. 165-192
- Modeling of Initial Connection Handling in TCP Using Contour/Transition NetsMarshall T. Rose. 193-211
- Specification and Verification of Time-Dependant Communication ProtocolsA. Udaya Shankar, Simon S. Lam. 215-226
- A Specification of the OSI Transport Service in LOTOSEd Brinksma, Günter Karjoth. 227-251
- CSP and CSP Nets: A Dual Model for Protocol Specification and VerificationWolfgang Jürgensen, Son T. Vuong. 253-277
- Executable Description of the OSI Transport Service in PrologLuigi Logrippo, Didier Simon, Hasan Ural. 279-293
- Verification of Distributed Systems Using Structured Communicating Agents NetsElie Najm. 295-308
- Modelling Distributed Systems in an Extension of CCS with Infinite Experiments and Temporal LogicJoachim Parrow, Rune Gustavsson. 309-348
- An ASYL/EFSM Description of the ISO Transport ProtocolMats Daniels, Hans A. Hansson. 349-373
- Some Problems with the Specification of the Military Standard Transmission Control ProtocolDeepinder P. Sidhu, Thomas P. Blumer. 375-381
- A Communicating System Net Model for Specification and Verification of Distributed NetsBjörn Pehrson, Michael Yoeli. 383-394
- Specification and Implementation of the MONDAN SystemGiuseppe Scollo, Antonio Anzalone, Paolo Finocchiaro, Francesco Giustolisi, Giovanni Raciti. 395-422
- Modelling and Specifying a Presentation Protocol by Temporal OrderingVincenza Carchiolo, Gesualdo Le Moli, Sergio Palazzo, Giuseppe Pappalardo. 423-440
- Synthesizing Distributed Protocols from Serial ProgramsRobert E. Strom, Shaula Yemini. 443-456
- Protocol Specification by Real-Time Attribute GrammarsDavid P. Anderson, Lawrence H. Landweber. 457-465
- Generation of a Global System Description from the Descriptions of Cooperating SubsystemsStanislaw Budkowski. 467-487
- On the Analysis of Time-Dependent Protocols by Network Flow AlgorithmsTommaso Bolognesi, Harry Rudin. 491-513
- An Improved Algorithm for Estimating Protocol PerformanceHarry Rudin. 515-525
- Analyzing the Time Efficiency of a Communication ProtocolPieter S. Kritzinger. 527-539
- Algebraic Specification-Based Performance Analysis of Communication ProtocolsNihal Nounou, Yechiam Yemini. 541-560
- Performance Analysis Using Timed Petri NetsRami R. Razouk, Charles V. Phelps. 561-576
- Reliability of a Data Link Service: Modelling Methodology - Protocols ComparisonGuy Juanole. 577-600
- The Teletex Test System PETRUSJürgen Hänle. 603-610
- An Evaluation of the ICST Test Architecture after Testing Class 4 TransportRichard J. Linn Jr.. 611-621
- Some Experiences with Test Sequence Generation in Application LayerJ. Bremer, G. Mondvai, Kálmám Tarnay, T. Tibor. 623-636
- Gateway Testing TechniqueH. X. Zeng, D. Rayner. 637-655
- Some Experiences of Testing Protocol ImplementationsJohn R. Pavel, Dermot J. Dwyer. 657-677
- Performance Parameters of Computer Network Protocols Refered to Their Formal ModelWojciech Cellary, Maciej Stroinski. 681-696
- Protocol Verification Techniques: Status Quo and PerspectivesMichal Sajkowski. 697-720