| 1991 | Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990 Juan Quemada, José A. Mañas, Enrique Vázquez |
| 1990 | A Bus Instrumentation Protocol Specified in LOTOS. Pierre Azéma, Khalil Drira, François Vernadat |
| 1990 | A Compilation of Algebraic Processes Based on Extended-Action Derivation. Günter Karjoth |
| 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 | A LOTOS Simulator in OBJ. Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi |
| 1990 | A Temporal Process Algebra. Matthew Hennessy, Tim Regan |
| 1990 | ASN.1 and Estelle Implementation Support Tools. Gregor von Bochmann, Daniel Ouimet, Gerald W. Neufeld |
| 1990 | Adding Interaction Sets to Estelle. Richard L. Tenney |
| 1990 | An Approach to Specifying and Synthesizing Communicating Processes. M. Hakan Erdogmus, Robert de B. Johnston |
| 1990 | An Executor for Graphical LOTOS. To-Yat Cheung, Yucheng Ye |
| 1990 | An Interactive Programming Environment for LOTOS. Paul de Jager, Willem Jonker, Albert Wammes, Johan Wester |
| 1990 | Automatic Code Generation for SDL to C++ for an Integrated Software Development Support System. Kou Miyake, Y. Shigeta, W. Tanaka, H. Hasegawa |
| 1990 | Automatic Translation of Time Petri Nets into Estelle Description. A. B. Alkhechi, Stanislaw Budkowski |
| 1990 | Concurrent Modelling in LOTOS as a Solution to Real Time Problems. J. M. Martin Espinosa, J. M. Robles Roman, L. Fuertes Prieto |
| 1990 | Conformance Testing Based on Formal Methods. Dieter Hogrefe |
| 1990 | Design of the LOTOSPHERE Symbolic LOTOS Simulator. Peter van Eijk, Henk Eertink |
| 1990 | Desing, Implementation and Validation of a Multi-Peer Protocol Using Estelle. Martine Guilmet, Philippe Thomas, Bruno Traverson |
| 1990 | Distributed Observation and FIFO Queues. Rachida Dssouli, Reine Fournier, Gregor von Bochmann |
| 1990 | Experience in Validating Protocol Integration Using Estelle. Jean-Marc Jézéquel |
| 1990 | Experience in the Development of an ISDN Layer 3 Service in LOTOS. Josefina Navarro, Pablo San Martin |
| 1990 | Extending SDL with a Procedural Data Concept. Anders Olsen |
| 1990 | Formal Methods to Assist Conformance Testing. A Case Study. Clazien D. Wezeman, S. Batley, J. Lynch |
| 1990 | Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. Mário Baptista, Susanne Graf, Jean-Luc Richier, Luís E. T. Rodrigues, Carlos Rodríguez, Paulo Veríssimo, Jacques Voiron |
| 1990 | From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach. Marc Phalippou, Roland Groz |
| 1990 | Graphical Composition Theorems for Parallel and Hiding Operators. Tommaso Bolognesi, David de Frutos-Escrig, Yolanda Ortega-Mallén |
| 1990 | How Expressive Are LOTOS Behaviour Expressions? Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini |
| 1990 | Interfacing ASN.1 and Estelle: A Practical Approach. Piotr Dembinski |
| 1990 | L.0: A Language for Modeling and Prototyping Communications Software. E. Jane Cameron, David M. Cohen, Timothy M. Guinther, William M. Keese II, Linda A. Ness, Cynthia Norman, Hassan N. Srinidhi |
| 1990 | Methodological Objectives for Formal Description Techniques. Manfred Broy |
| 1990 | NIST Integrated Tool Set for Estelle. Rachid Sijelmassi, Brett Strausser |
| 1990 | ODP: The Next Target for the Applciation of FDTs. Jean-Bernard Stefani |
| 1990 | OSI Testing Environment Based on the Standardized Formalisms. Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno |
| 1990 | On the Design and Formal Specification of a Transaction Processing Protocol. Marten van Sinderen, Ing Widya |
| 1990 | On the Technology Transfer of Formal Methods: An Experience on LOTOS. Gonzalo León |
| 1990 | One2One - A Tool for Translating ASN.1 to ACT ONE. F. Brady, A. Boshier, D. Pitt, B. Szczygiel |
| 1990 | PIL: A Tool for Pre-implementation of LOTOS. J. Queiroz, Ahmed Serhrouchni, P. Cunha, Elie Najm |
| 1990 | Process Topology Diagrams. Josef Hinterplattner, Heinrich Nirschl, Heinz Saria |
| 1990 | Protocol Analysis Using a Timed Version of SDL. Falko Bause, Peter Buchholz |
| 1990 | Protocol Visualization of Estelle Specifications. Darren New, Paul D. Amer |
| 1990 | Rewrite Systems for Protocol Specification and Verification. S. Ramanathan, G. Sivakumar |
| 1990 | Some Experiments Using Term Rewriting Techniques for Concurrency. Carron Kirkwood, Kathy Norrie |
| 1990 | Specifying the Xpress Transfer Protocol Using Estelle and Valira. Y. T. Cheung, J. William Atwood |
| 1990 | Step-wise Refinement Design Example Using LOTOS. Luís Ferreira Pires, Wanderley Lopes de Souza |
| 1990 | Stepwise Production of an SDL Description. Ove Faergemand |
| 1990 | Support for ASN.1 within a Protocol Testing Environment. Michael Sample, Gerald W. Neufeld |
| 1990 | Synchronic Distance in Process Algebra. Han Zuidweg |
| 1990 | TA-2: A Prototype Analysing Dynamic SDL Properties. Anders Ek, Jan Ellsberger |
| 1990 | Test Case Generation for Protocols Specified in Estelle. Woojik Chun, Paul D. Amer |
| 1990 | The CCSDS Protocol Validation Programme Inter Agency Testin Using LOTOS. M. Gamble, C. R. Taylor |
| 1990 | The PROMPT Automatic Implementation Tool - Initial Impressions. Ken R. Parker |
| 1990 | The SRTS Experience: Using TOPO for LOTOS Design and Realization. Tomás de Miguel, Tomás Robles, Joaquín Salvachúa, Arturo Azcorra |
| 1990 | The Testing Functionalities of LOLA. Santiago Pavón, Martín Llamas Nistal |
| 1990 | The University of Ottawa LOTOS Toolkit. Luigi Logrippo |
| 1990 | Transferring Formal Techniques to Industry. Roger Duke, Gordon A. Rose, Graeme Smith |
| 1990 | Translation from TTCN to LOTOS and the Validation of Test Cases. Martin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba |
| 1990 | Use of Estelle, LOTOS and ASN.1 in One Project. Juan A. Saras, Julio Berocal, Juan Riera |
| 1990 | Verifying Bisimulations "On the Fly". Jean-Claude Fernandez, Laurent Mounier |