| 1991 | Using LOTOS in a Design Environment. | Mark Vigder, Raymond J. A. Buhr |
| 1991 | XP, an Experiment in Modular Specification. | Gert J. Veltink |
| 1991 | Using VDM to Specify OSI Managed Objects. | Linda Simon, Lynn S. Marshall |
| 1991 | Mixing LOTOS and SDL Specifications. | Heinz Saria, Heinrich Nirschl, Carl Binding |
| 1991 | Protocol Verification System for SDL Specifications Based on Acyclic Expansion Algorithm and Temporal Logic. | Hironori Saito, Toru Hasegawa, Yoshiaki Kakuda |
| 1991 | Inheritance in LOTOS. | Steve Rudkin |
| 1991 | The Adoption of Formal Methods within OTC. | Karen Rosenberg |
| 1991 | Inverse Expansion. | Santiago Pavn, M. Hulstrm, Juan Quemada, David de Frutos-Escrig, Y. Ortega |
| 1991 | Design and Implementation of an Application Interface for LOTOS Processors. | Kazuhito Ohmaki, Hirosato Tsuji, Kenjiroh Yamanaka, Yoshikazu Sato, Yoshinori Itabashi, Toshihiko Shimizu |
| 1991 | Formal Specification, Validation and Implementation of an Application Protocol with Estelle. | C. T. Nguyen, P. Hunel, Marie-Claude Vialatte |
| 1991 | Dynamic Configuration in LOTOS. | Elie Najm, Jean-Bernard Stefani |
| 1991 | Mapping Time-Extended LOTOS to Standard LOTOS. | Ashley McClenaghan |
| 1991 | Experience of Using LOTOS Within the CIM-OSA Project. | Ashley McClenaghan |
| 1991 | A Calculus to Define Correct Tranformations of LOTOS Specifications. | Thierry Massart |
| 1991 | Tool Demonstration: A Cross Compiling Experiment: A PC Implementation of a LOTOS Spec. | Jos A. Maas, Joaqun Salvacha, Toms de Miguel |
| 1991 | Lambda-beta: A Virtual LOTOS Machine. | Jos A. Maas, Joaqun Salvacha |
| 1991 | Specification and Verification of a Sliding Window Protocol in LOTOS. | Eric Madelaine, Didier Vergamini |
| 1991 | Tool Demonstration: Tools for Process Algebras. | Eric Madelaine, Didier Vergamini |
| 1991 | An Upward Compatible Timed Extension to LOTOS. | Guy Leduc |
| 1991 | Event Structures for Design and Transformation in LOTOS. | Rom Langerak |
| 1991 | Understanding Interfaces. | Simon S. Lam, A. Udaya Shankar |
| 1991 | A LOTOS Data Facility Compiler (DAFY). | Eric Lallemand, Guy Leduc |
| 1991 | Linking Specifications with Implementations. | Martin Kooij |
| 1991 | Protocol Trace Analysis Based on Formal Specifications. | Myungchul Kim, Samuel T. Chanson, Son T. Vuong |
| 1991 | Modeling Timeouts and Unreliable Media with a Timed Probabilistic Calculus. | Hans Hansson |