Abstract is missing.
- A refinement logic for the fork calculusKlaus Havelund, Kim Guldstrand Larsen. 5-20
- Specialization in EstelleReinhard Gotzhein, Gregor von Bochmann. 21-36
- About time nondeterminism and exception handling in a temporal extension of LOTOSJean-Pierre Courtiat, Roberto C. de Oliveira. 37-52
- Cache consistency by designEd Brinksma. 53-67
- Feature interaction detection using backward reasoning with LOTOSBernard Stepien, Luigi Logrippo. 71-86
- Verification of the ISO ROSE protocol specified in EstelleAjin Jirachiefpattana, Richard Lai. 87-102
- Protocol conformance test case verification using timed-transitionsKshirasagar Naik, Behçet Sarikaya. 103-118
- Design of reliable architecture for testing timed behavior of OSI protocolsKshirasagar Naik. 121-136
- Towards evaluating fault coverage of protocol test sequencesJinsong Zhu, Samuel T. Chanson. 137-151
- Verification by abstraction as a preamble for interoperability test suite generationPierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus. 152-166
- Protocol synchronization with sparse timestrapsJorge Arturo Cobb, Mohamed G. Gouda, Prathima Agrawal. 169-184
- On specifying services and synthesizing protocols for real-time applicationsAhmed Khoumsi, Gregor von Bochmann, Rachida Dssouli. 185-200
- Structural decompositionMaria Hultström. 201-216
- ATM Networks: Issues and Challenges AheadRaj Jain. 217
- Abstract testing and concrete testersMarc Phalippou. 221-236
- On finite covering of infinite spaces for protocol test selectionMasaaki Mori, Son T. Vuong. 237-251
- Failure-based congruences, unfair divergences and new testing theoryGuy Leduc. 252-267
- Generalized fair reachability analysis for cyclic protocols: part 1Hong Liu, Raymond E. Miller. 271-286
- A method for verifying liveness of protocols modeled as a class of ECFSMMasahiro Higuchi, S. Sugawa, Mamoru Fujii. 287-302
- Specifying and verifying conditional progressKenneth L. Calvert. 303-318
- Automatic verification of real-tim systems using epsilonJens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou. 323-330
- Validation of timing properties for interoperability in distributed real-time applicationsY. Benkhellat, Jean-Pierre Thomesse. 331-338
- Compositional specification and verification of high-speed transfer protocolsPeter Herrmann, Heiko Krumm. 339-346
- Putting information infrastructure on the technology curveDavid L. Tennenhouse. 347
- Computer supported test generation from SDL specificationsAnders Ek, Jan Ellsberger, Anthony Wiles. 351-358
- Automatic ASN.1 constraint generation for testing purposesErik Kwast. 359-366
- A methodology for conformance testing of managed objectsBrigitte Bär, Andreas Mann. 367-375
- Hardware synthesis from a restricted class of LOTOS expressionsTeruo Higashino, Keiichi Yasumoto, Junji Kitamichi, Kenichi Taniguchi. 379-386
- Increasing the efficiency of computer-aided protocol implementationsThomas Held, Hartmut König. 387-394
- Functional approach to protocols specificationJakub Bojanowski, Michal Iglewski, Jan Madey, Abdellatif Obaid. 395-402