| 1994 | A Compositional Semantics for Statecharts using Labeled Transition Systems. Andrew C. Uselton, Scott A. Smolka |
| 1994 | A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises. Chris Verhoef |
| 1994 | A Dynamic Approach to Timed Behaviour. Jeremy Gunawardena |
| 1994 | A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes. Yoram Hirshfeld, Faron Moller |
| 1994 | A Symbolic Semantics for the pi-calculus (Extended Abstract). Michele Boreale, Rocco De Nicola |
| 1994 | Algebras of Processes of Timed Petri Nets. Józef Winkowski |
| 1994 | Bisimulation for Models in Concurrency. Mogens Nielsen, Christian Clausen |
| 1994 | CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings Bengt Jonsson, Joachim Parrow |
| 1994 | Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract). Xinxin Liu |
| 1994 | Composition and Behaviors of Probabilistic I/O Automata. Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark |
| 1994 | Countable Non-Determinism and Uncountable Limits. Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin |
| 1994 | Deriving Complete Inference Systems for a Class of GSOS Languages Generation Regular Behaviours. Luca Aceto |
| 1994 | Efficient Parallelism vs Reliable Distribution: A Trade-off for Concurrent Computations. Paris C. Kanellakis, Dimitrios Michailidis, Alexander A. Shvartsman |
| 1994 | From Timed Graphs to Hybrid Automata (Abstract). Costas Courcoubetis |
| 1994 | Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka |
| 1994 | Geometry of Interaction (Abstract). Jean-Yves Girard |
| 1994 | Hierarchical Models of Synchronous Circuits (Abstract). David L. Dill |
| 1994 | Invariants in Process Algebra with Data. Marc Bezem, Jan Friso Groote |
| 1994 | Liveness and Fairness in Duration Calculus. Jens U. Skakkebæk |
| 1994 | Local Model Checking for Parallel Compositions of Context-Free Processes. Hardi Hungar |
| 1994 | Model-Based Verification Methods and Tools (Abstract). Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone |
| 1994 | New Results on the Analysis of Concurrent Systems with an Infinite Number of Processes. Mahesh Girkar, Robert Moll |
| 1994 | On Bisimulation in the pi-calculus. David Walker |
| 1994 | On Unifying Assumption-Commitment Style Proof Rules for Concurrency. Qiwen Xu, Antonio Cau, Pierre Collette |
| 1994 | On the Decidability of Non-Interleaving Process Equivalences. Astrid Kiehn |
| 1994 | Operational Semantics for the Petri Box Calculus. Maciej Koutny, Javier Esparza, Eike Best |
| 1994 | Probabilistic Simulations for Probabilistic Processes. Roberto Segala, Nancy A. Lynch |
| 1994 | Process Algebra with Partial Choice. Jos C. M. Baeten, Jan A. Bergstra |
| 1994 | Pushdown Processes: Parallel Composition and Model Checking. Olaf Burkart, Bernhard Steffen |
| 1994 | Regularity of BPA-Systems is Decidable. Sjouke Mauw, Hans Mulder |
| 1994 | SProc Categorically. J. Robin B. Cockett, David A. Spooner |
| 1994 | Testing-Based Abstractions for Value-Passing Systems. Rance Cleaveland, James Riely |
| 1994 | The Limit View of Infinite Computations. Nils Klarlund |
| 1994 | The Logical Structure of Concurrent Constraint Programming Languages (Abstract). Prakash Panangaden |
| 1994 | The Observational Power of Clocks. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger |
| 1994 | Trace Refinement of Action Systems. Ralph-Johan Back, Joakim von Wright |
| 1994 | Verification of Nonregular Temporal Properties for Context-Free Processes. Ahmed Bouajjani, Rachid Echahed, Riadh Robbana |
| 1994 | Weak Sequential Composition in Process Algebras. Arend Rensink, Heike Wehrheim |