7. PSTV 1987: Zürich, Switzerland

@proceedings{DBLP:conf/pstv/1987,
  editor    = {Harry Rudin and
               Colin H. West},
  title     = {Protocol Specification, Testing and Verification VII, Proceedings
               of the IFIP WG6.1 Seventh International Conference on Protocol
               Specification, Testing and Verification, Zurich, Switzerland,
               5-8 May, 1987},
  booktitle = {PSTV},
  publisher = {North-Holland},
  year      = {1987},
  isbn      = {0-444-70293-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Paper

• Ian C. Davidson: OSI Protocol Testing at the Corporation for Open Systems. 3-12

Specification I

• Kenneth J. Turner: An Architectural Semantics for LOTOS. 15-28
• Branislav Meandzija, William P.-C. Ho: Towards Truly Open Systems. 29-40

Specification II

• Jean-Pierre Courtiat: How Could Estelle Become a Better FDT? 43-60
• Albert Fleischmann: PASS - A Technique for Specifying Communication Protocols. 61-76
• Lothar F. Mackert, Iris B. Neumeier-Mackert: Communicating Rule Systems. 77-88

Specification III

• Abdellatif Obaid, Luigi Logrippo: An Atomic Calculus of Communicating Systems. 91-104
• Juan Quemada, Angel Fernández: Introduction of Quantitative Relative Time into LOTOS. 105-121
• Guy Leduc: The Intertwining of Data Types and Processes in LOTOS. 123-136

Invited Paper

• Gregor von Bochmann: Usage of Protocol Development Tools: The Results of a Survey. 139-161

Verification I

• Tommaso Bolognesi, Scott A. Smolka: Fundamental Results for the Verification of Observational Equivalence: A Survey. 165-179
• Elie Najm: A Verification Oriented Specification in LOTOS of the Transport Protocol. 181-203

Verification II

• Jan K. Pachl: Protocol Description and Analysis Based on a State Transition Model with Channel Expressions. 207-219
• Ana R. Cavalli, François Horn: Proof of Specification Properties by Using Finite State Machines and Temporal Logic. 221-233
• Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron: Verification in XESAR of the Sliding Window Protocol. 235-248

Protocol Analysis I

• Giuseppe Pappalardo: Experiences with a Verification and Simulation Tool for Behavioural Languages. 251-264
• Piotr Dembinski, Stanislaw Budkowski: Simulating Estelle Specifications with Time Parameters. 265-279
• David Gilbert: Executable LOTOS: Using PARLOG to Implement an FDT. 281-294

Protocol Analysis II

• Sudhir Aggarwal, Daniel Barbará, Costas Courcoubetis: LAN Broadcast Protocols for Implementing the CCA Model. 297-306
• Nicholas F. Maxemchuk, Krishan K. Sabnani: Probabilistic Verification of Communication Protocols. 307-320
• Pieter S. Kritzinger: Protocol Performance Using Image Protocols. 321-335

Invited Paper

• Gerard J. Holzmann: On Limits and Possibilities of Automated Protocol Analysis. 339-344

Testing I

• Hasan Ural: A Test Derivation Method for Protocol Conformance Testing. 347-358
• K. H. Muralidhar: Network Management and Directory Services Test System. 359-372

Implementation

• A. S. Krishnakumar, B. Krishnamurthy, Krishan K. Sabnani: Translation of Formal Protocol Specifications to VLSI Designs. 375-390
• Johannes Freudenmann: Development of Communication Software by Stepwise Refinement. 391-404
• Yasuhiro Ohara, Shizuo Yoshitake, Tsukasa Kawaoka: Protocol Conversion Method for Heterogeneous Systems Interconnection in Multi-Profile Environment. 405-418

Testing II

• Erwin P. Rathgeb, Christian Homann, Hong Linh Truong, Gerd Waldmann: Protocol Testing for the ISDN D-Channel Network Layer. 421-434
• Willem Hengeveld, Jan Kroon: Using Checking Sequences for OSI Session Layer Conformance Testing. 435-449

Note

• Harry Rudin: Note on the Early History of Layered Architecture. 453-454

Last update Fri May 25 08:33:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page