| 1994 | Towards a formal computational model for distributed multimedia applications. | Andreas Vogel |
| 1994 | Visual animation of LOTOS using SOLVE. | Kenneth J. Turner, Ashley McClenaghan |
| 1994 | Modelling techniques for evolving distributed applications. | R. Sekar, Yow-Jian Lin, C. R. Ramakrishnan |
| 1994 | Formal specification and analysis of an ISO communications protocol. | J. R. Rowson |
| 1994 | A service request description language. | Claudia Popien, Bernd Meyer |
| 1994 | Test sequence generation using Estelle or SDL structure information. | Marc Phalippou |
| 1994 | Proving performance propterties (even probabilistic ones). | Nancy A. Lynch |
| 1994 | Verifying timing properties of concurrent algorithms. | Victor Luchangco, Ekrem Sylemez, Stephen J. Garland, Nancy A. Lynch |
| 1994 | How good is your specification method? | Leslie Lamport |
| 1994 | Four issues concerning the semantics of Message Flow Graphs. | Peter B. Ladkin, Stefan Leue |
| 1994 | Derivation of efficient implementations from formal descriptions - issues, methods and conformance. | H. Kremer |
| 1994 | Reachable state space analysis of LOTOS specifications. | Alain Kerbrat |
| 1994 | Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach. | Pim Kars |
| 1994 | Application of protocol sythesis technique to resolution of the service interaction problem. | Yoshiaki Kakuda, Hiroyuki Asada, Tohru Kikuno |
| 1994 | Stepwise transformations for fault-tolerant design of CCS processes. | Tomasz Janowski |
| 1994 | An attempt to embed a restricted version of SDL as a target language in Focus. | Eckhardt Holz, Ketil Stlen |
| 1994 | An improvement in formal verification. | Gerard J. Holzmann, Doron A. Peled |
| 1994 | Proving the value of formal methods. | Gerard J. Holzmann |
| 1994 | Stochastic process algebras: integrating qualitative and quantitative modelling. | Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach |
| 1994 | Using formal specification and simulation: practical experience with distributed applications. | Willem Hengeveld, Peter van der Toorn, Geert-Jan Houben |
| 1994 | Verification model reduction through abstractions. | Jean-Charles Grgoire |
| 1994 | Design of operating systems using the F.D.T. ESTELLE. | Oliverio Gonzlez, Victor G. Garca, Miguel Riesco, Enrique Vzquez |
| 1994 | A modal based verification for LOTOS. | Hacne Fouchal, Ana R. Cavalli |
| 1994 | An abstract interpreter for the specification language LOTOS. | Franco Fiore, Fosca Giannotti |
| 1994 | Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. | Alessandro Fantechi, Stefania Gnesi, R. Sacchelli |