| 1995 | A Petri Net Semantics for pi-Calculus. | Nadia Busi, Roberto Gorrieri |
| 1995 | Towards a denotational semantics for ET-LOTOS. | Jeremy W. Bryans, Jim Davies, Steve A. Schneider |
| 1995 | Process Semantics of Graph Reduction. | Simon Brock, Gerald Ostheimer |
| 1995 | Fair Testing. | Ed Brinksma, Arend Rensink, Walter Vogler |
| 1995 | Temporal Logic + Timed Automata: Expressiveness and Decidability. | Ahmed Bouajjani, Yassine Lakhnech |
| 1995 | Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. | Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink |
| 1995 | Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract). | Parosh Aziz Abdulla, Mats Kindahl |
| 1994 | Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. | Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka |
| 1994 | On Unifying Assumption-Commitment Style Proof Rules for Concurrency. | Qiwen Xu, Antonio Cau, Pierre Collette |
| 1994 | Composition and Behaviors of Probabilistic I/O Automata. | Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark |
| 1994 | Algebras of Processes of Timed Petri Nets. | Jzef Winkowski |
| 1994 | On Bisimulation in the pi-calculus. | David Walker |
| 1994 | A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises. | Chris Verhoef |
| 1994 | A Compositional Semantics for Statecharts using Labeled Transition Systems. | Andrew C. Uselton, Scott A. Smolka |
| 1994 | Liveness and Fairness in Duration Calculus. | Jens U. Skakkebk |
| 1994 | Probabilistic Simulations for Probabilistic Processes. | Roberto Segala, Nancy A. Lynch |
| 1994 | Weak Sequential Composition in Process Algebras. | Arend Rensink, Heike Wehrheim |
| 1994 | The Logical Structure of Concurrent Constraint Programming Languages (Abstract). | Prakash Panangaden |
| 1994 | Bisimulation for Models in Concurrency. | Mogens Nielsen, Christian Clausen |
| 1994 | Regularity of BPA-Systems is Decidable. | Sjouke Mauw, Hans Mulder |
| 1994 | Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract). | Xinxin Liu |
| 1994 | Operational Semantics for the Petri Box Calculus. | Maciej Koutny, Javier Esparza, Eike Best |
| 1994 | The Limit View of Infinite Computations. | Nils Klarlund |
| 1994 | On the Decidability of Non-Interleaving Process Equivalences. | Astrid Kiehn |
| 1994 | Efficient Parallelism vs Reliable Distribution: A Trade-off for Concurrent Computations. | Paris C. Kanellakis, Dimitrios Michailidis, Alexander A. Shvartsman |