default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th PSTV 1991: Stockholm, Sweden
- Bengt Jonsson, Joachim Parrow, Björn Pehrson:
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
Session 1: Verification
- Antti Valmari, Martti Tienari:
An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm. PSTV 1991: 3-18 - Juan Quemada:
Compressed State Space Representation in LOTOS with the Interleaved Expansion. PSTV 1991: 19-35
Session 2: Specification
- Roelof Jan Velthuys, Lothar F. Mackert, Jürgen M. Schneider, Georg Zörntlein:
Structuring Mechanisms for the Formal Description Technique CRS. PSTV 1991: 39-57 - Alistair Cockburn:
A Formalization of Temporal Message-Flow Diagrams. PSTV 1991: 59-74 - Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle. PSTV 1991: 75-89
Session 3: Refinement and Implementation
- Simon S. Lam, A. Udaya Shankar:
A Composition Theorem for Layered Systems. PSTV 1991: 93-108 - Kaisa Sere:
Stepwise Refinement of Reactive Processor Farms. PSTV 1991: 109-124 - Enrique Vázquez, Pedro Sandoval, Marifeli Sedano, Juan Vinyes:
Automatic Implementation of TP4/IP with an Estelle Workstation. Development Methodology and Performance Evaluation. PSTV 1991: 125-139
Session 4: Semantics
- Younes Souissi:
A Modular Approach for the Validation of Communication Protocols Using FIFO Nets. PSTV 1991: 143-158 - S. Gallouzi, Luigi Logrippo, Abdellatif Obaid:
An expressive trace theory for LOTOS. PSTV 1991: 159-175
Session 5: Performance and Time
- Ian F. Akyildiz, Giovanni Chiola, Daniel Kofman, Hayri Korezlioglu:
Stochastic Petri Net Modeling of the FDDI Network Protocol. PSTV 1991: 179-197 - Nathalie Rico, Gregor von Bochmann:
Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS. PSTV 1991: 199-213 - Yow-Jian Lin, Gene T. J. Wuu:
A Constrained Approach for Temporal Intervals in the Analysis of Timed Transitions. PSTV 1991: 215-230
Session 6: Testing Theory
- Ed Brinksma, Jan Tretmans, Louis Verhaard:
A Framework for Test Selection. PSTV 1991: 233-248 - Guy Leduc:
Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOS. PSTV 1991: 249-264
Session 7: Conformance Testing
- Russil Wvong:
LAPB Conformance Testin Using Trace Analysis. PSTV 1991: 267-282 - Udo Bär, Martin Strecker, Willi Stoll, Wolfgang Effelsberg:
Presentation Layer Conformance Testing with TTCN. PSTV 1991: 283-298
Session 8: Test Sequence Generation
- To-Yat Cheung, Youwen Wu, Xinming Ye:
Generating Test Sequences and their Degrees of Indeterminism for Protocols. PSTV 1991: 301-316 - Do Y. Lee, Jai-Yong Lee:
Test Generation for the Specification Written in Estelle. PSTV 1991: 317-332 - Erik Kwast:
Towards Automatic Test Generation for Protocol Data Aspects. PSTV 1991: 333-348 - Xiao Sun, Yinan N. Shen, Fabrizio Lombardi, Donatella Sciuto:
Protocol Conformance Testing by Discriminating UIO Sequences. PSTV 1991: 349-364
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-27 00:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
