| 1993 | An Industrial Experience on Development with LOTOS and SDL. | Gonzalo Len, J. Carracedo, J. C. Moreno, Juan C. Yelmo, Juan J. Gil, Carlos Snchez, F. Javier Carrasco |
| 1993 | An Enhanced Version of Timed LOTOS and its Application to a Case Study. | Luc Lonard, Guy Leduc |
| 1993 | Correctness of At-Most-Once Message Delivery Protocols. | Butler W. Lampson, Nancy A. Lynch, Jrgen F. Sgaard-Andersen |
| 1993 | What Do Message Sequence Charts Mean? | Peter B. Ladkin, Stefan Leue |
| 1993 | Incremental Construction Approach for Distributed System Specifications. | Ferhat Khendek, Gregor von Bochmann |
| 1993 | Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. | Joost-Pieter Katoen, Rom Langerak, Diego Latella |
| 1993 | Experiments in Data flow analysis of Communicating Finite State Machines. | S. Purushothaman Iyer |
| 1993 | Requirement Specification For Real-Time and Hybrid Systems. | Heping He, Hussein Zedan |
| 1993 | An Estelle Compiler for Multiprocessor Platforms. | Stefan Fischer, Bernd Hofmann |
| 1993 | An Object Oriented Method for Implementing Layered Protocols. | A. Divin, Claude Petitpierre |
| 1993 | Specification & Detection of IN Service Interference Using LOTOS. | Ole Christian Dahl, Elie Najm |
| 1993 | Validating Simulations Between Large Nondeterministic Specifications. | Ricardo Civalero, Bengt Jonsson, Joakim Nilsson |
| 1993 | Improving Conformance Testing for LOTOS. | Ana R. Cavalli, Sung Un Kim, Patrick Maigron |
| 1993 | Increasing the Concurrency in Estelle. | Jan Bredereke, Reinhard Gotzhein |
| 1993 | Time Versus Abstraction in Formal Description. | Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd |
| 1993 | Cumulating constraints on the "WHEN" and the "WHAT". | Tommaso Bolognesi, Giuseppe Ciaccio |
| 1993 | On the Existence and Production of State Identification Machines for Labelled Transition Systems. | Jari Arkko |
| 1992 | Towards efficient parallelization of equivalence checking algorithms. | Shipei Zhang, Scott A. Smolka |
| 1992 | Incremental processing of Z specifications. | Alexandre Marcos Lins de Vasconcelos, John Alexander McDermid |
| 1992 | A translator for ASN.1 into LOTOS. | Muffy Thomas |
| 1992 | Shared-state design modulo weak and strong process fairness. | Ketil Stlen |
| 1992 | Using FDTs in the development of a PICS editor. | Juan I. Sanz |
| 1992 | LOTOS in Alcatel. | Heinrich Nirschl, Jacqueline Blanchard, Bernard Loyer |
| 1992 | Extending LOTOS towards performance evaluation. | Carlos Miguel, Angel Fernndez, Leon Vidaller |
| 1992 | Using VDM to specify managed object relationships. | Lynn S. Marshall, Linda Simon |