| 1994 | Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993 Richard L. Tenney, Paul D. Amer, M. Ümit Uyar |
| 1993 | A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation. Sanjai Narain, Orville Cockings, Ritu Chadha |
| 1993 | A recursive process algebra for queues. Hüsnü Yenigün, Esfandiar Haghverdi, S. Bilgen, Kemal Inan |
| 1993 | An Enhanced Version of Timed LOTOS and its Application to a Case Study. Luc Léonard, Guy Leduc |
| 1993 | An Estelle Compiler for Multiprocessor Platforms. Stefan Fischer, Bernd Hofmann |
| 1993 | An Industrial Experience on Development with LOTOS and SDL. Gonzalo León, J. Carracedo, J. C. Moreno, Juan C. Yelmo, Juan J. Gil, Carlos Sánchez, F. Javier Carrasco |
| 1993 | An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation. Katsuyuki Sarashina, Tsuyoshi Ando, Kaoru Takahashi, Masataka Ohta, Yoshiaki Tokita |
| 1993 | An Object Oriented Method for Implementing Layered Protocols. A. Divin, Claude Petitpierre |
| 1993 | Compressing the State Space Representation of LOTOS Specifications. Juan Quemada, David Larrabeiti, Santiago Pavón |
| 1993 | Correctness of At-Most-Once Message Delivery Protocols. Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen |
| 1993 | Cumulating constraints on the "WHEN" and the "WHAT". Tommaso Bolognesi, Giuseppe Ciaccio |
| 1993 | DILL: Specifying Digital Logic in LOTOS. Kenneth J. Turner, Richard O. Sinnott |
| 1993 | Experiments in Data flow analysis of Communicating Finite State Machines. S. Purushothaman Iyer |
| 1993 | Formalisation Based on Understanding. Maria Manuela Marques, Dag Belsnes, Malachy Murphy |
| 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 | Incremental Construction Approach for Distributed System Specifications. Ferhat Khendek, Gregor von Bochmann |
| 1993 | Integrating Estelle and ASN.1 for Automatic Implementation. Anthony C. C. Lo, Richard Lai |
| 1993 | LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic. Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
| 1993 | Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. Joost-Pieter Katoen, Rom Langerak, Diego Latella |
| 1993 | On the Existence and Production of State Identification Machines for Labelled Transition Systems. Jari Arkko |
| 1993 | Overview: Survey of Formal Methods in Industry. Graeme I. P. Parkin, Stephen Austin |
| 1993 | Requirement Specification For Real-Time and Hybrid Systems. Heping He, Hussein Zedan |
| 1993 | Specification & Detection of IN Service Interference Using LOTOS. Ole Christian Dahl, Elie Najm |
| 1993 | TESTGEN+: An Integrated Environment for Protocol Test Suite Generation, Selection and Validation. Son T. Vuong, Sangho Lee |
| 1993 | Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL. Hasan Ural, Alan W. Williams |
| 1993 | The Challenges Facing Formal Description Techniques. Colin H. West |
| 1993 | Time Versus Abstraction in Formal Description. Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd |
| 1993 | Towards a Modular Specification and Verification of Protocols within a Layered Architecture. Younes Souissi |
| 1993 | Validating Simulations Between Large Nondeterministic Specifications. Ricardo Civalero, Bengt Jonsson, Joakim Nilsson |
| 1993 | What Do Message Sequence Charts Mean? Peter B. Ladkin, Stefan Leue |