3. PSTV 1983: Rüschlikon, Switzerland

Harry Rudin, Colin H. West (Eds.): Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983. North-Holland 1983, ISBN 0-444-86769-4

@proceedings{DBLP:conf/pstv/1983,
  editor    = {Harry Rudin and
               Colin H. West},
  title     = {Protocol Specification, Testing, and Verification, III, Proceedings
               of the IFIP WG 6.1 Third International Workshop on Protocol Specification,
               Testing and Verification, organized by IBM Research, R{\"u}schlikon,
               Switzerland, 31 May - 2 June, 1983},
  booktitle = {PSTV},
  publisher = {North-Holland},
  year      = {1983},
  isbn      = {0-444-86769-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Protocol Theory and Analyses

Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt: Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. 3-18
S. Aggarwal, Robert P. Kurshan, Krishan K. Sabnani: A Calculus for Protocol Specification and Validation. 19-34
S. Aggarwal, Robert P. Kurshan, D. Sharma: A Language for the Specification and Analysis of Protocols. 35-50
S. Aggarwal, Robert P. Kurshan: Modelling Elapsed Time in Protocol Specification. 51-62
Mohamed G. Gouda: An Example for Constructing Communicating Machines by Step-Wise Refinement. 63-74

Specification and Formal Models

Rune Gustavsson, Björn Pehrson: The Power of some Formal Models of Distributed Computing. 77-86
Björn Pehrson: Abstraction by Structural Reduction. 87-94
Stanislaw Budkowski, Elie Najm: Structured Finite State Automata - A new approach for modelling distributed communications systems. 95-110
Luigi Logrippo: "Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers. 111-124
Günter Karjoth: A Behavioural Description Language for the Formal Treatment of Protocols in Distributed Systems. 125-136

Theory and Applications of Petri Nets

Matti Anttila, Harri Eriksson, Jukka Ikonen, Raimo Kujansuu, Leo Ojala, Heikki Tuominen: Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic. 139-148
Bernd Walter: Timed Petri-Nets for Modelling and Alalyzing Protocols with Real-Time Characteristics. 149-159
Miguel Menasche, Bernard Berthomieu: Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols. 161-172
Jonathan Billington: Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets. 173-185

Validation and Verification

Omar Rafiq, Jean-Pierre Ansart: VADILOC - A Protocol Validator and Its Applications. 189-197
Alan E. Baratz, Adrian Segall: A Reliable Link Initialization Procedure. 199-211
Hans Eckert, Rainer Prinoth: A Computation-System Based Method for Automated Proving of Protocols Against Services. 213-228
Carl A. Sunshine: Experience with automated Protocol Verification. 229-236
Deepinder P. Sidhu: Protocol Verification via Executable Logic Specifications. 237-248

Protocol Performance

Gerard Florin, Stéphane Natkin, A. Woog, J. Attal: Quantitative Validation for Industrial Ethernet Local Networks. 251-256
Harry Rudin: From Formal Protocol Specification Towards Automated Performance Prediction. 257-269

Protocol Design and Implementation

Guy Juanole, B. Algayres: Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase. 273-282
W. Ansaldi, C. Boccalini, M. Olobardi, A. M. Traverso: Design of a Transport Layer Protocol for a Special Purpose LAN. 283-291
F. Mark Restorick: Implementation of a Protocol in an Assembly Language. 293-298

Integrated Systems

Heiko Krumm, Oswald Drobnik: Specification, Implementation, and Verification of Communication Services on the Basis of CIL. 301-316
Robert E. Strom, Shaula Yemini: Design, Implementation, and Validation of Secure Communications Systems. 317-332
Jean-Michel Ayache, Jean-Pierre Courtiat: LC/1, A Specification and Implementation Language for Protocols. 333-345
Yechiam Yemini, Nihal Nounou: CUPID: A Protocol Development Environment. 347-355
Gerard J. Holzmann, Rob A. Beukers: The Pandora Protocol Development System. 357-368
Thomas P. Blumer, Deepinder P. Sidhu: Experience with an Automated Protocol Development System. 369-380
Jean-Pierre Ansart, V. Chari, D. Simon: From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language). 381-390

Protocol Testing

Sergio Palazzo, P. Fogliata, Gesualdo Le Moli: A Layer-Independent Architecture for a Testing System of Protocol Implementations. 393-406
Alfred Gießler: Testing and Diagnosis Aids for Higher Level Protocols. 407-420
Hasan Ural, Robert L. Probert: User-Guided Test Sequence Generation. 421-436
Robert L. Probert, Hasan Ural: Requirements for a Test Specification Language for Protocol Implementation Testing. 437-443
Jean-Francois Billiard: Methodology and Tools for Qualitative Protocols Validation. 445-454
Robin M. S. Cork: The Testing of Protocols in SNA Products - An Overview. 455-463
George A. Harvey: The Routing Certification System. 465-476
G. W. Cowin, R. W. S. Hale, D. Rayner: Protocol Product Testing - Some Comparisons and Lessons. 477-492
D. Rayner: Towards an Objective Understanding of Conformance. 493-503
Richard J. Linn Jr., W. H. McCoy: Producing Tests for Implementations of OSI Protocols. 505-520
Richard J. Linn Jr., J. Stephen Nightingale: Some Experience with Testing Tools for OSI Protocol Implementations. 521-531