| 1996 | A Calculus for Concurrent Objects. Paolo Di Blasio, Kathleen Fisher |
| 1996 | A Calculus of Mobile Agents. Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy |
| 1996 | A Facile Tutorial. Bent Thomsen, Lone Leth Thomsen, Tsung-Min Kuo |
| 1996 | A Presheaf Semantics of Value-Passing Processes. Glynn Winskel |
| 1996 | A Process Algebra with Distributed Priorities. Rance Cleaveland, Gerald Lüttgen, V. Natarajan |
| 1996 | A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi |
| 1996 | Action Refinement and Property Inheritance in Systems of Sequential Agents. Michaela Huhn |
| 1996 | Algebraic Interpretation of Lambda Calculus with Resources. Carolina Lavatelli |
| 1996 | An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. Doron A. Peled, Thomas Wilke, Pierre Wolper |
| 1996 | Asynchronous Cellular Automata for Pomsets Without Auto-concurrency. Manfred Droste, Paul Gastin |
| 1996 | Bisimulation Collapse and the Process Taxonomy. Olaf Burkart, Didier Caucal, Bernhard Steffen |
| 1996 | CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings Ugo Montanari, Vladimiro Sassone |
| 1996 | Comparing Transition Systems with Independence and Asynchronous Transition Systems. Thomas T. Hildebrandt, Vladimiro Sassone |
| 1996 | Concurrent Graph and Term Graph Rewriting. Andrea Corradini |
| 1996 | Constrained Properties, Semilinear Systems, and Petri Nets. Ahmed Bouajjani, Peter Habermehl |
| 1996 | Constraints as Processes. Björn Victor, Joachim Parrow |
| 1996 | Decidability of Bisimulation Equivalence for Normed Pushdown Processes. Colin Stirling |
| 1996 | Decoding Choice Encodings. Uwe Nestmann, Benjamin C. Pierce |
| 1996 | Elementary Control Structures. John Power |
| 1996 | Equivalences of Statecharts. Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini |
| 1996 | Extended Markovian Process Algebra. Marco Bernardo, Roberto Gorrieri |
| 1996 | Infinite Results. Faron Moller |
| 1996 | Linear Constraint Systems as High-Level Nets. Eike Best, Catuscia Palamidessi |
| 1996 | Modelling and Verification of Distributed Algorithms. Wolfgang Reisig |
| 1996 | Models for Concurrent Constraint Programming. Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat |
| 1996 | Modular Verification for Shared-Variable Concurrent Programs. Jürgen Dingel |
| 1996 | On Bisimulations for the Asynchronous pi-Calculus. Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi |
| 1996 | On Transformations of Concurrent Object Programs. Anna Philippou, David Walker |
| 1996 | On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic. David Janin, Igor Walukiewicz |
| 1996 | On the Expressiveness of Internal Mobility in Name-Passing Calculi. Michele Boreale |
| 1996 | Petri Boxes and Finite Precedence. Raymond Devillers |
| 1996 | Process Calculus Based upon Evaluation to Committed Form. Andrew M. Pitts, Joshua R. X. Ross |
| 1996 | Refinement in Interworkings. Sjouke Mauw, Michel A. Reniers |
| 1996 | Retracing Some Paths in Process Algebra. Samson Abramsky |
| 1996 | Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report. José Meseguer |
| 1996 | State Equivalences for Rectangular Hybrid Automata. Thomas A. Henzinger, Peter W. Kopke |
| 1996 | Symbolic Transition Graph with Assignment. Huimin Lin |
| 1996 | Synchronous Development of Asynchonous Systems. Clemens Fischer, Wil Janssen |
| 1996 | Testing Probabilistic Automata. Roberto Segala |
| 1996 | The Impact of Hardware Models on Shared Memory Consistency Conditions. Jerry James, Ambuj K. Singh |
| 1996 | The Modal mu-calculus Alternation Hierarchy is Strict. Julian C. Bradfield |
| 1996 | Towards Automata for Branching Time and Partial Order. Michaela Huhn, Peter Niebert |
| 1996 | Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. Alessandro Fantechi, Stefania Gnesi, Diego Latella |
| 1996 | Truly Concurrent Constraint Programming. Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat |
| 1996 | Verifying Abstractions of Timed Systems. Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton |