| 1995 | A Complete Theory of Deterministic Event Structures. Arend Rensink |
| 1995 | A Compositional Trace-Based Semantics for Probabilistic Automata. Roberto Segala |
| 1995 | A Petri Net Semantics for pi-Calculus. Nadia Busi, Roberto Gorrieri |
| 1995 | A Polymorphic Type System for the Polyadic pi-calculus. Xinxin Liu, David Walker |
| 1995 | A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'. Michael Siegel |
| 1995 | A Trace Consistent Subset of PTL. P. S. Thiagarajan |
| 1995 | Acceptance Trees for Probabilistic Processes. Manuel Núñez, David de Frutos-Escrig, Luis Fernando Llana Díaz |
| 1995 | Axiomatisations of Weak Equivalences for De Simone Languages. Irek Ulidowski |
| 1995 | Axiomatising Linear Time Mu-calculus. Roope Kaivola |
| 1995 | Bisimulations for a Calculus of Broadcasting Systems. Matthew Hennessy, Julian Rathke |
| 1995 | CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings Insup Lee, Scott A. Smolka |
| 1995 | CTR: A Calculus of Timed Refinement. Karlis Cerans |
| 1995 | Characterizing Behavioural Congruences for Petri Nets. Mogens Nielsen, Lutz Priese, Vladimiro Sassone |
| 1995 | Checking Bisimilarity for Finitary pi-Calculus. Ugo Montanari, Marco Pistore |
| 1995 | Checking Regular Properties of Petri Nets. Petr Jancar, Faron Moller |
| 1995 | Compositional Model Checking of Real Time Systems. François Laroussinie, Kim Guldstrand Larsen |
| 1995 | Compositional Proof Systems for Model Checking Infinite State Processes. Mads Dam |
| 1995 | Confluence for Process Verification. Jan Friso Groote, M. P. A. Sellink |
| 1995 | Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract). Parosh Aziz Abdulla, Mats Kindahl |
| 1995 | Delayed choice for process algebra with abstraction. Pedro R. D'Argenio, Sjouke Mauw |
| 1995 | Efficient Automation of Temporal Reasoning. E. Allen Emerson |
| 1995 | Fair Testing. Ed Brinksma, Arend Rensink, Walter Vogler |
| 1995 | Faster Asynchronous Systems. Walter Vogler |
| 1995 | Fibrational Control Structures. Claudio Hermida, John Power |
| 1995 | Formal Methods Technology Transfer: Impediments and Innovation (Abstract). Dan Craigen |
| 1995 | Fully Abstract Models for Nondeterministic Regular Expressions. Flavio Corradini, Rocco De Nicola, Anna Labella |
| 1995 | Lokal Model Checking Games. Colin Stirling |
| 1995 | Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink |
| 1995 | On Sharing and Determinacy in Concurrent Systems. Anna Philippou, David Walker |
| 1995 | On the Complexity of Branching Modular Model Checking (Extended Abstract). Orna Kupferman, Moshe Y. Vardi |
| 1995 | Process Semantics of Graph Reduction. Simon Brock, Gerald Ostheimer |
| 1995 | Reachability Analysis at Procedure Level through Timing Coincidence. Farn Wang |
| 1995 | Temporal Logic + Timed Automata: Expressiveness and Decidability. Ahmed Bouajjani, Yassine Lakhnech |
| 1995 | The Fixpoint-Analysis Machine. Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria |
| 1995 | The Weak Late pi-Calculus Semantics as Observation Equivalence. Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia |
| 1995 | Towards a denotational semantics for ET-LOTOS. Jeremy W. Bryans, Jim Davies, Steve A. Schneider |
| 1995 | Tutorial: Proving Properties of Concurrent System with SPIN. Gerard J. Holzmann |
| 1995 | Unique Fixpoint Induction for Mobile Processes. Huimin Lin |
| 1995 | Verification of a Distributed Summation Algorithm. Frits W. Vaandrager |
| 1995 | Veryfying Parameterized Networks using Abstraction and Regular Languages. Edmund M. Clarke, Orna Grumberg, Somesh Jha |
| 1995 | Will I be Preety, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. David Harel |