11. PSTV 1991: Stockholm, Sweden

Bengt Jonsson, Joachim Parrow, Björn Pehrson (Eds.): Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991. North-Holland 1991, ISBN 0-444-89210-9 BibTeX

@proceedings{DBLP:conf/pstv/1991,
  editor    = {Bengt Jonsson and
               Joachim Parrow and
               Bj{\"o}rn Pehrson},
  title     = {Protocol Specification, Testing and Verification XI, Proceedings
               of the IFIP WG6.1 International Symposium on Protocol Specification,
               Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  booktitle = {PSTV},
  publisher = {North-Holland},
  year      = {1991},
  isbn      = {0-444-89210-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Session 1: Verification

Antti Valmari, Martti Tienari: An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm. 3-18 BibTeX
Juan Quemada: Compressed State Space Representation in LOTOS with the Interleaved Expansion. 19-35 BibTeX

Session 2: Specification

Roelof Jan Velthuys, Lothar F. Mackert, Jürgen M. Schneider, Georg Zörntlein: Structuring Mechanisms for the Formal Description Technique CRS. 39-57 BibTeX
Alistair Cockburn: A Formalization of Temporal Message-Flow Diagrams. 59-74 BibTeX
Pierre de Saqui-Sannes, Jean-Pierre Courtiat: An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle. 75-89 BibTeX

Session 3: Refinement and Implementation

Simon S. Lam, A. Udaya Shankar: A Composition Theorem for Layered Systems. 93-108 BibTeX
Kaisa Sere: Stepwise Refinement of Reactive Processor Farms. 109-124 BibTeX
Enrique Vázquez, Pedro Sandoval, Marifeli Sedano, Juan Vinyes: Automatic Implementation of TP4/IP with an Estelle Workstation. Development Methodology and Performance Evaluation. 125-139 BibTeX

Session 4: Semantics

Younes Souissi: A Modular Approach for the Validation of Communication Protocols Using FIFO Nets. 143-158 BibTeX
S. Gallouzi, Luigi Logrippo, Abdellatif Obaid: An expressive trace theory for LOTOS. 159-175 BibTeX

Session 5: Performance and Time

Ian F. Akyildiz, Giovanni Chiola, Daniel Kofman, Hayri Korezlioglu: Stochastic Petri Net Modeling of the FDDI Network Protocol. 179-197 BibTeX
Nathalie Rico, Gregor von Bochmann: Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS. 199-213 BibTeX
Yow-Jian Lin, Gene T. J. Wuu: A Constrained Approach for Temporal Intervals in the Analysis of Timed Transitions. 215-230 BibTeX

Session 6: Testing Theory

Ed Brinksma, Jan Tretmans, Louis Verhaard: A Framework for Test Selection. 233-248 BibTeX
Guy Leduc: Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOS. 249-264 BibTeX

Session 7: Conformance Testing

Russil Wvong: LAPB Conformance Testin Using Trace Analysis. 267-282 BibTeX
Udo Bär, Martin Strecker, Willi Stoll, Wolfgang Effelsberg: Presentation Layer Conformance Testing with TTCN. 283-298 BibTeX

Session 8: Test Sequence Generation

To-Yat Cheung, Youwen Wu, Ye Xinming: Generating Test Sequences and their Degrees of Indeterminism for Protocols. 301-316 BibTeX
Do Y. Lee, Jai-Yong Lee: Test Generation for the Specification Written in Estelle. 317-332 BibTeX
Erik Kwast: Towards Automatic Test Generation for Protocol Data Aspects. 333-348 BibTeX
X. Sun, Yinan N. Shen, Fabrizio Lombardi, Donatella Sciuto: Protocol Conformance Testing by Discriminating UIO Sequences. 349-364 BibTeX