| 1994 | Local Model Checking for Parallel Compositions of Context-Free Processes. | Hardi Hungar |
| 1994 | A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes. | Yoram Hirshfeld, Faron Moller |
| 1994 | A Dynamic Approach to Timed Behaviour. | Jeremy Gunawardena |
| 1994 | New Results on the Analysis of Concurrent Systems with an Infinite Number of Processes. | Mahesh Girkar, Robert Moll |
| 1994 | Geometry of Interaction (Abstract). | Jean-Yves Girard |
| 1994 | Countable Non-Determinism and Uncountable Limits. | Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin |
| 1994 | Model-Based Verification Methods and Tools (Abstract). | Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone |
| 1994 | Hierarchical Models of Synchronous Circuits (Abstract). | David L. Dill |
| 1994 | From Timed Graphs to Hybrid Automata (Abstract). | Costas Courcoubetis |
| 1994 | SProc Categorically. | J. Robin B. Cockett, David A. Spooner |
| 1994 | Testing-Based Abstractions for Value-Passing Systems. | Rance Cleaveland, James Riely |
| 1994 | Pushdown Processes: Parallel Composition and Model Checking. | Olaf Burkart, Bernhard Steffen |
| 1994 | Verification of Nonregular Temporal Properties for Context-Free Processes. | Ahmed Bouajjani, Rachid Echahed, Riadh Robbana |
| 1994 | A Symbolic Semantics for the pi-calculus (Extended Abstract). | Michele Boreale, Rocco De Nicola |
| 1994 | Invariants in Process Algebra with Data. | Marc Bezem, Jan Friso Groote |
| 1994 | Process Algebra with Partial Choice. | Jos C. M. Baeten, Jan A. Bergstra |
| 1994 | Trace Refinement of Action Systems. | Ralph-Johan Back, Joakim von Wright |
| 1994 | The Observational Power of Clocks. | Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger |
| 1994 | Deriving Complete Inference Systems for a Class of GSOS Languages Generation Regular Behaviours. | Luca Aceto |
| 1993 | Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). | Shengzong Zhou, Rob Gerth, Ruurd Kuiper |
| 1993 | Networks of Real-Time Processes. | Robert Kim Yates |
| 1993 | Partial-Order Methods for Temporal Verification. | Pierre Wolper, Patrice Godefroid |
| 1993 | A Linear Local Model Checking Algorithm for CTL. | Bart Vergauwen, Johan Lewi |
| 1993 | Principal Typing Schemes in a Polyadic pi-Calculus. | Vasco Thudichum Vasconcelos, Kohei Honda |
| 1993 | Two Fully Abstract Models for UNITY. | Rob T. Udink, Joost N. Kok |