Abstract is missing.
- Simple on-the-fly automatic verification of linear temporal logicRob Gerth, Doron Peled, Moshe Y. Vardi, Pierre Wolper. 3-18
- Specifying real-time requirements for SDL specifications - a temporal logic-based approachStefan Leue. 19-34
- A temporal reachability analysisLeo Cacciari, Omar Rafiq. 35-49
- True versus artificial concurrencyAntoni W. Mazurkiewicz. 53-68
- On compositionality and Petri nets in protocol engineeringNikolay A. Anisimov, Maciej Koutny. 71-86
- Composition of LOTOS specificationsMaarten Steen, Howard Bowman, John Derrick. 87-102
- Principles for validation of abstract test suites specified in concurrent TTCNMaria Törö, Katalin Tarnay. 105-120
- An approach to testing distributed software systemsAndreas Ulrich, Samuel T. Chanson. 121-136
- Modeling basic LOTOS by FSMs for conformance testingQ. M. Tan, Alexandre Petrenko, Gregor von Bochmann. 137-152
- The specification and verification of an experimental ATM signalling protocolDieter Barnard, Simon Crosby. 155-170
- Re-usable verification elements for high-speed transfer protocol configurationsPeter Herrmann, Heiko Krumm. 171-186
- An algebraic-temporal specification of a CSMA/CD-protocolMohamed Jmaiel. 187-202
- Validation, verification and implementation of timed protocols using AORTASteven Bradley, William Henderson, David Kendall, Adrian Robson. 205-220
- Validation in contextLex Heerink, Ed Brinksma. 221-236
- Characterizing termination in LOTOS via testingDavid de Frutos-Escrig, Manuel Núñez, Juan Quemada. 237-250
- Quantified reduced views of state graphs using Markovian and timed observational equivalenceKhalil Drira, Youcef Atamna, Guy Juanole. 253-268
- SDL and Petri net performance analysis of communicating systemsFalko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger. 269-282
- On the introduction of gate typing in E-LOTOSHubert Garavel. 283-298
- An analysis of bistate hashingGerard J. Holzmann. 301-314
- Using asynchronous Büchi automata for efficient automatic verification of concurrent systemsDoron Peled, Wojciech Penczek. 315-330
- A method to build symbolic representations of LOTOS specificationsRiccardo Sisto. 331-346
- Formal design of cooperative systemsMichel Diaz, Thierry Villemur, François Vernadat. 349-365
- On the suitability of Estelle for multimedia systemsS. Fischer. 369-384
- Protocol analysis and verification methods, application to the Xpress Transfer protocol 4.0O. Catrina. 385-400
- PARES - a portable parallel Estelle compilerRalf Plato, Thomas Held, Hartmut König. 403-418
- A methodology for the implementation of protocols in hardware from a formal descriptionLuci Pirmez, Aloysio Pedroza, Antônio C. Mesquita. 419-434
- Hardware specification generated from EstelleJacek Wytrebowicz. 435-450