| 1996 | A Calculus of Mobile Agents. | Cdric Fournet, Georges Gonthier, Jean-Jacques Lvy, Luc Maranget, Didier Rmy |
| 1996 | Synchronous Development of Asynchonous Systems. | Clemens Fischer, Wil Janssen |
| 1996 | Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. | Alessandro Fantechi, Stefania Gnesi, Diego Latella |
| 1996 | Asynchronous Cellular Automata for Pomsets Without Auto-concurrency. | Manfred Droste, Paul Gastin |
| 1996 | Modular Verification for Shared-Variable Concurrent Programs. | Jrgen Dingel |
| 1996 | Petri Boxes and Finite Precedence. | Raymond Devillers |
| 1996 | Concurrent Graph and Term Graph Rewriting. | Andrea Corradini |
| 1996 | A Process Algebra with Distributed Priorities. | Rance Cleaveland, Gerald Lttgen, V. Natarajan |
| 1996 | Bisimulation Collapse and the Process Taxonomy. | Olaf Burkart, Didier Caucal, Bernhard Steffen |
| 1996 | The Modal mu-calculus Alternation Hierarchy is Strict. | Julian C. Bradfield |
| 1996 | Constrained Properties, Semilinear Systems, and Petri Nets. | Ahmed Bouajjani, Peter Habermehl |
| 1996 | On the Expressiveness of Internal Mobility in Name-Passing Calculi. | Michele Boreale |
| 1996 | A Calculus for Concurrent Objects. | Paolo Di Blasio, Kathleen Fisher |
| 1996 | Linear Constraint Systems as High-Level Nets. | Eike Best, Catuscia Palamidessi |
| 1996 | Extended Markovian Process Algebra. | Marco Bernardo, Roberto Gorrieri |
| 1996 | On Bisimulations for the Asynchronous pi-Calculus. | Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi |
| 1996 | Retracing Some Paths in Process Algebra. | Samson Abramsky |
| 1995 | Reachability Analysis at Procedure Level through Timing Coincidence. | Farn Wang |
| 1995 | Faster Asynchronous Systems. | Walter Vogler |
| 1995 | Verification of a Distributed Summation Algorithm. | Frits W. Vaandrager |
| 1995 | Axiomatisations of Weak Equivalences for De Simone Languages. | Irek Ulidowski |
| 1995 | A Trace Consistent Subset of PTL. | P. S. Thiagarajan |
| 1995 | Lokal Model Checking Games. | Colin Stirling |
| 1995 | The Fixpoint-Analysis Machine. | Bernhard Steffen, Andreas Claen, Marion Klein, Jens Knoop, Tiziana Margaria |
| 1995 | A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'. | Michael Siegel |