Abstract is missing.
- VEDA 2: Power to the protocol designersL. Doldi, P. Gauthier. 3-13
- LOTOS in AlcatelHeinrich Nirschl, Jacqueline Blanchard, Bernard Loyer. 15-22
- An Experiment in Analyzing Switch Recovery ProceduresDavid Cohen, Norman Dorn. 23-34
- A translator for ASN.1 into LOTOSMuffy Thomas. 37-52
- Incremental processing of Z specificationsAlexandre Marcos Lins de Vasconcelos, John A. McDermid. 53-69
- Queueing network model for EstellePiotr Dembinski. 73-86
- A timed LOTOS supporting a dense time domain and including new timed operatorsGuy Leduc, Luc Léonard. 87-102
- Extending LOTOS towards performance evaluationCarlos Miguel, Angel Fernández, Leon Vidaller. 103-118
- Towards efficient parallelization of equivalence checking algorithmsShipei Zhang, Scott A. Smolka. 121-135
- On improving reduced reachability analysisLeo Cacciari, Omar Rafiq. 137-152
- Design of a formal Estelle semantics for verificationJan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt. 153-168
- Specification and implementation of an ISDN telephone system using LOTOSPatrik Ernberg, Thomas Hovander, Francisco Monfort. 171-186
- Analyzing a space-protocol: from specification, simulation to experimentationMarc Andreu, Michèle Haziza, Claude Jard, Jean-Marc Jézéquel. 187-198
- Formal specification in the development of industrial applications: Subway speed control systemClara DaSilva, Babak Dehbonei, Fernando Mejia. 199-213
- Formal methods for Actor systems: A progress reportGul Agha. 217-228
- Protocol design using LOTOS: A critical synthesis of a standardization experienceHarro Kremer, Jeroen van de Lagemaat, Axel Rennoch, Giuseppe Scollo. 231-246
- A method for specifying and validating communication protocols in LOTOSF. J. Carrasco, J. J. Gil. 247-262
- Using VDM to specify managed object relationshipsLynn S. Marshall, Linda Simon. 263-278
- Generating transition graphs from LOTOS specificationsGünter Karjoth. 281-294
- Symbolic execution of LOTOS specificationsHenk Eertink, Dietmar Wolz. 295-310
- Goal oriented execution for LOTOSMazen Haj-Hussein, Luigi Logrippo, Jacques Sincennes. 311-327
- Bundle event structures: a non-interleaving semantics for LOTOSRom Langerak. 331-346
- A true concurrency semantics for LOTOSRosvelter João Coelho da Costa, Jean-Pierre Courtiat. 347-362
- A constraint-oriented real-time process calculusColin J. Fidge. 363-378
- Test derivation for SDL based on ACTsFinn Kristoffersen, Louis Verhaard, Michael Zeeberg. 381-396
- Combination of conformance and interoperability testingNoriyasu Arakawa, Marc Phalippou, Nathalie Risser, Terunao Soneoka. 397-412
- Using FDTs in the development of a PICS editorJuan I. Sanz. 413-427
- The electric power of LOTOS - Results of a joint academic/industrial experimentTommaso Bolognesi. 431-446
- Generality in design and compositional verification using TAVAnders Børjesson, Kim Guldstrand Larsen, Arne Skou. 449-464
- Verification by consecutive projectionsEsfandiar Haghverdi, K. Inan. 465-478
- Shared-state design modulo weak and strong process fairnessKetil Stølen. 479-498