| 1991 | Modelling Dynamic Communication Structures in LOTOS. | Lars-ke Fredlund, Fredrik Orava |
| 1991 | Process Algebra Traces Augmented with Causal Relationships. | Colin J. Fidge |
| 1991 | Io: An Estelle Simulator for Performance Evaluation. | D. Fernndez, Enrique Vzquez, Juan Vinyes |
| 1991 | Specification and Validation of a Simple Overtaking Protokol using LOTOS. | Patrik Ernberg, Lars-ke Fredlund, Bengt Jonsson |
| 1991 | An Exercise in Protocol Synthesis. | Peter van Eijk, J. Schot |
| 1991 | Tool Demonstration: The Lotosphere Integrated Tool Environment Lite. | Peter van Eijk |
| 1991 | A LOTOS Based Calculus with True Concurrency Semantics. | Jean-Pierre Courtiat, Rosvelter Joo Coelho da Costa |
| 1991 | Formal Methods at AT&T - An Industrial Usage Report. | John A. Chaves |
| 1991 | The Superimposition of Estelle Programs: A Tool for the Specification and Implementation of Observation and Control Algorithms. | Benot Caillaud |
| 1991 | What is the Method in Formal Methods? | Ed Brinksma |
| 1991 | LOTOS-like Process Algebras with Urgent or Timed Interactions. | Tommaso Bolognesi, Ferdinando Lucidi |
| 1991 | Tool Demonstration: FORSEE. | Jonathan Billington, Geoffrey R. Wheeler, Brian Keck, Ken R. Parker |
| 1991 | Superposition Refinement of Parallel Algorithms. | Ralph-Johan Back, Kaisa Sere |
| 1990 | Synchronic Distance in Process Algebra. | Han Zuidweg |
| 1990 | Formal Methods to Assist Conformance Testing. A Case Study. | Clazien D. Wezeman, S. Batley, J. Lynch |
| 1990 | Adding Interaction Sets to Estelle. | Richard L. Tenney |
| 1990 | ODP: The Next Target for the Applciation of FDTs. | Jean-Bernard Stefani |
| 1990 | On the Design and Formal Specification of a Transaction Processing Protocol. | Marten van Sinderen, Ing Widya |
| 1990 | NIST Integrated Tool Set for Estelle. | Rachid Sijelmassi, Brett Strausser |
| 1990 | Use of Estelle, LOTOS and ASN.1 in One Project. | Juan A. Saras, Julio Berocal, Juan Riera |
| 1990 | Support for ASN.1 within a Protocol Testing Environment. | Michael Sample, Gerald W. Neufeld |
| 1990 | Rewrite Systems for Protocol Specification and Verification. | S. Ramanathan, G. Sivakumar |
| 1990 | PIL: A Tool for Pre-implementation of LOTOS. | J. Queiroz, Ahmed Serhrouchni, P. Cunha, Elie Najm |
| 1990 | Step-wise Refinement Design Example Using LOTOS. | Lus Ferreira Pires, Wanderley Lopes de Souza |
| 1990 | From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach. | Marc Phalippou, Roland Groz |