| 1990 | The Testing Functionalities of LOLA. | Santiago Pavn, Martn Llamas Nistal |
| 1990 | The PROMPT Automatic Implementation Tool - Initial Impressions. | Ken R. Parker |
| 1990 | Extending SDL with a Procedural Data Concept. | Anders Olsen |
| 1990 | A LOTOS Simulator in OBJ. | Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi |
| 1990 | Protocol Visualization of Estelle Specifications. | Darren New, Paul D. Amer |
| 1990 | Experience in the Development of an ISDN Layer 3 Service in LOTOS. | Josefina Navarro, Pablo San Martin |
| 1990 | Automatic Code Generation for SDL to C++ for an Integrated Software Development Support System. | Kou Miyake, Y. Shigeta, W. Tanaka, H. Hasegawa |
| 1990 | The SRTS Experience: Using TOPO for LOTOS Design and Realization. | Toms de Miguel, Toms Robles, Joaqun Salvacha, Arturo Azcorra |
| 1990 | The University of Ottawa LOTOS Toolkit. | Luigi Logrippo |
| 1990 | On the Technology Transfer of Formal Methods: An Experience on LOTOS. | Gonzalo Len |
| 1990 | Some Experiments Using Term Rewriting Techniques for Concurrency. | Carron Kirkwood, Kathy Norrie |
| 1990 | OSI Testing Environment Based on the Standardized Formalisms. | Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno |
| 1990 | A Compilation of Algebraic Processes Based on Extended-Action Derivation. | Gnter Karjoth |
| 1990 | Experience in Validating Protocol Integration Using Estelle. | Jean-Marc Jzquel |
| 1990 | An Interactive Programming Environment for LOTOS. | Paul de Jager, Willem Jonker, Albert Wammes, Johan Wester |
| 1990 | Conformance Testing Based on Formal Methods. | Dieter Hogrefe |
| 1990 | Process Topology Diagrams. | Josef Hinterplattner, Heinrich Nirschl, Heinz Saria |
| 1990 | A Temporal Process Algebra. | Matthew Hennessy, Tim Regan |
| 1990 | Desing, Implementation and Validation of a Multi-Peer Protocol Using Estelle. | Martine Guilmet, Philippe Thomas, Bruno Traverson |
| 1990 | The CCSDS Protocol Validation Programme Inter Agency Testin Using LOTOS. | M. Gamble, C. R. Taylor |
| 1990 | A Hoare-style Proof System for LOTOS. | S. Gallouzi, Luigi Logrippo, Abdellatif Obaid |
| 1990 | A LOTOS Interpreter for Simulating Real-Time Behaviour. | Colin J. Fidge |
| 1990 | Verifying Bisimulations "On the Fly". | Jean-Claude Fernandez, Laurent Mounier |
| 1990 | How Expressive Are LOTOS Behaviour Expressions? | Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini |
| 1990 | Stepwise Production of an SDL Description. | Ove Faergemand |