| 1992 | Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 Ken R. Parker, Gordon A. Rose |
| 1991 | A Calculus to Define Correct Tranformations of LOTOS Specifications. Thierry Massart |
| 1991 | A LOTOS Based Calculus with True Concurrency Semantics. Jean-Pierre Courtiat, Rosvelter João Coelho da Costa |
| 1991 | A LOTOS Data Facility Compiler (DAFY). Eric Lallemand, Guy Leduc |
| 1991 | An Exercise in Protocol Synthesis. Peter van Eijk, J. Schot |
| 1991 | An Upward Compatible Timed Extension to LOTOS. Guy Leduc |
| 1991 | Design and Implementation of an Application Interface for LOTOS Processors. Kazuhito Ohmaki, Hirosato Tsuji, Kenjiroh Yamanaka, Yoshikazu Sato, Yoshinori Itabashi, Toshihiko Shimizu |
| 1991 | Dynamic Configuration in LOTOS. Elie Najm, Jean-Bernard Stefani |
| 1991 | Event Structures for Design and Transformation in LOTOS. Rom Langerak |
| 1991 | Experience of Using LOTOS Within the CIM-OSA Project. Ashley McClenaghan |
| 1991 | Fairness in LOTOS. Cheng Wu, Gregor von Bochmann |
| 1991 | Formal Methods at AT&T - An Industrial Usage Report. John A. Chaves |
| 1991 | Formal Specification, Validation and Implementation of an Application Protocol with Estelle. C. T. Nguyen, P. Hunel, Marie-Claude Vialatte |
| 1991 | Inheritance in LOTOS. Steve Rudkin |
| 1991 | Inverse Expansion. Santiago Pavón, M. Hulström, Juan Quemada, David de Frutos-Escrig, Y. Ortega |
| 1991 | Io: An Estelle Simulator for Performance Evaluation. D. Fernández, Enrique Vázquez, Juan Vinyes |
| 1991 | LOTOS-like Process Algebras with Urgent or Timed Interactions. Tommaso Bolognesi, Ferdinando Lucidi |
| 1991 | Lambda-beta: A Virtual LOTOS Machine. José A. Mañas, Joaquín Salvachúa |
| 1991 | Linking Specifications with Implementations. Martin Kooij |
| 1991 | Mapping Time-Extended LOTOS to Standard LOTOS. Ashley McClenaghan |
| 1991 | Mixing LOTOS and SDL Specifications. Heinz Saria, Heinrich Nirschl, Carl Binding |
| 1991 | Modeling Timeouts and Unreliable Media with a Timed Probabilistic Calculus. Hans Hansson |
| 1991 | Modelling Dynamic Communication Structures in LOTOS. Lars-Åke Fredlund, Fredrik Orava |
| 1991 | Process Algebra Traces Augmented with Causal Relationships. Colin J. Fidge |
| 1991 | Protocol Trace Analysis Based on Formal Specifications. Myungchul Kim, Samuel T. Chanson, Son T. Vuong |
| 1991 | Protocol Verification System for SDL Specifications Based on Acyclic Expansion Algorithm and Temporal Logic. Hironori Saito, Toru Hasegawa, Yoshiaki Kakuda |
| 1991 | Specification and Validation of a Simple Overtaking Protokol using LOTOS. Patrik Ernberg, Lars-Åke Fredlund, Bengt Jonsson |
| 1991 | Specification and Verification of a Sliding Window Protocol in LOTOS. Eric Madelaine, Didier Vergamini |
| 1991 | Specification of a Distributed Coordination Function in LOTOS. Ing Widya, Franck Sadoun, Gert-Jan van der Heijden |
| 1991 | Superposition Refinement of Parallel Algorithms. Ralph-Johan Back, Kaisa Sere |
| 1991 | The Adoption of Formal Methods within OTC. Karen Rosenberg |
| 1991 | The Superimposition of Estelle Programs: A Tool for the Specification and Implementation of Observation and Control Algorithms. Benoît Caillaud |
| 1991 | Tool Demonstration: A Cross Compiling Experiment: A PC Implementation of a LOTOS Spec. José A. Mañas, Joaquín Salvachúa, Tomás de Miguel |
| 1991 | Tool Demonstration: FORSEE. Jonathan Billington, Geoffrey R. Wheeler, Brian Keck, Ken R. Parker |
| 1991 | Tool Demonstration: The Lotosphere Integrated Tool Environment Lite. Peter van Eijk |
| 1991 | Tool Demonstration: Tools for Process Algebras. Eric Madelaine, Didier Vergamini |
| 1991 | Understanding Interfaces. Simon S. Lam, A. Udaya Shankar |
| 1991 | Using LOTOS in a Design Environment. Mark Vigder, Raymond J. A. Buhr |
| 1991 | Using VDM to Specify OSI Managed Objects. Linda Simon, Lynn S. Marshall |
| 1991 | What is the Method in Formal Methods? Ed Brinksma |
| 1991 | XP, an Experiment in Modular Specification. Gert J. Veltink |