| 1993 | Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992 Michel Diaz, Roland Groz |
| 1992 | A constraint-oriented real-time process calculus. Colin J. Fidge |
| 1992 | A method for specifying and validating communication protocols in LOTOS. Francisco Javier Carrasco, J. J. Gil |
| 1992 | A timed LOTOS supporting a dense time domain and including new timed operators. Guy Leduc, Luc Léonard |
| 1992 | A translator for ASN.1 into LOTOS. Muffy Thomas |
| 1992 | A true concurrency semantics for LOTOS. Rosvelter João Coelho da Costa, Jean-Pierre Courtiat |
| 1992 | An Experiment in Analyzing Switch Recovery Procedures. David Cohen, Norman Dorn |
| 1992 | Analyzing a space-protocol: from specification, simulation to experimentation. Marc Andreu, Michèle Haziza, Claude Jard, Jean-Marc Jézéquel |
| 1992 | Bundle event structures: a non-interleaving semantics for LOTOS. Rom Langerak |
| 1992 | Combination of conformance and interoperability testing. Noriyasu Arakawa, Marc Phalippou, Nathalie Risser, Terunao Soneoka |
| 1992 | Design of a formal Estelle semantics for verification. Jan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt |
| 1992 | Extending LOTOS towards performance evaluation. Carlos Miguel, Angel Fernández, Leon Vidaller |
| 1992 | Formal methods for Actor systems: A progress report. Gul Agha |
| 1992 | Formal specification in the development of industrial applications: Subway speed control system. Clara DaSilva, Babak Dehbonei, Fernando Mejia |
| 1992 | Generality in design and compositional verification using TAV. Anders Børjesson, Kim Guldstrand Larsen, Arne Skou |
| 1992 | Generating transition graphs from LOTOS specifications. Günter Karjoth |
| 1992 | Goal oriented execution for LOTOS. Mazen Haj-Hussein, Luigi Logrippo, Jacques Sincennes |
| 1992 | Incremental processing of Z specifications. Alexandre Marcos Lins de Vasconcelos, John Alexander McDermid |
| 1992 | LOTOS in Alcatel. Heinrich Nirschl, Jacqueline Blanchard, Bernard Loyer |
| 1992 | On improving reduced reachability analysis. Leo Cacciari, Omar Rafiq |
| 1992 | Protocol design using LOTOS: A critical synthesis of a standardization experience. Harro Kremer, Jeroen van de Lagemaat, Axel Rennoch, Giuseppe Scollo |
| 1992 | Queueing network model for Estelle. Piotr Dembinski |
| 1992 | Shared-state design modulo weak and strong process fairness. Ketil Stølen |
| 1992 | Specification and implementation of an ISDN telephone system using LOTOS. Patrik Ernberg, Thomas Hovander, Francisco Monfort |
| 1992 | Symbolic execution of LOTOS specifications. Henk Eertink, Dietmar Wolz |
| 1992 | Test derivation for SDL based on ACTs. Finn Kristoffersen, Louis Verhaard, Michael Zeeberg |
| 1992 | The electric power of LOTOS - Results of a joint academic/industrial experiment. Tommaso Bolognesi |
| 1992 | Towards efficient parallelization of equivalence checking algorithms. Shipei Zhang, Scott A. Smolka |
| 1992 | Using FDTs in the development of a PICS editor. Juan I. Sanz |
| 1992 | Using VDM to specify managed object relationships. Lynn S. Marshall, Linda Simon |
| 1992 | VEDA 2: Power to the protocol designers. Laurent Doldi, P. Gauthier |
| 1992 | Verification by consecutive projections. Esfandiar Haghverdi, Kemal Inan |