| 1996 | A Facile Tutorial. | Bent Thomsen, Lone Leth Thomsen, Tsung-Min Kuo |
| 1996 | Verifying Abstractions of Timed Systems. | Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton |
| 1996 | Decidability of Bisimulation Equivalence for Normed Pushdown Processes. | Colin Stirling |
| 1996 | Testing Probabilistic Automata. | Roberto Segala |
| 1996 | Modelling and Verification of Distributed Algorithms. | Wolfgang Reisig |
| 1996 | Elementary Control Structures. | John Power |
| 1996 | Process Calculus Based upon Evaluation to Committed Form. | Andrew M. Pitts, Joshua R. X. Ross |
| 1996 | On Transformations of Concurrent Object Programs. | Anna Philippou, David Walker |
| 1996 | An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. | Doron A. Peled, Thomas Wilke, Pierre Wolper |
| 1996 | Decoding Choice Encodings. | Uwe Nestmann, Benjamin C. Pierce |
| 1996 | Infinite Results. | Faron Moller |
| 1996 | Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report. | Jos Meseguer |
| 1996 | Refinement in Interworkings. | Sjouke Mauw, Michel A. Reniers |
| 1996 | Equivalences of Statecharts. | Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini |
| 1996 | Symbolic Transition Graph with Assignment. | Huimin Lin |
| 1996 | Algebraic Interpretation of Lambda Calculus with Resources. | Carolina Lavatelli |
| 1996 | On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic. | David Janin, Igor Walukiewicz |
| 1996 | The Impact of Hardware Models on Shared Memory Consistency Conditions. | Jerry James, Ambuj K. Singh |
| 1996 | Towards Automata for Branching Time and Partial Order. | Michaela Huhn, Peter Niebert |
| 1996 | Action Refinement and Property Inheritance in Systems of Sequential Agents. | Michaela Huhn |
| 1996 | Comparing Transition Systems with Independence and Asynchronous Transition Systems. | Thomas T. Hildebrandt, Vladimiro Sassone |
| 1996 | A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. | Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi |
| 1996 | State Equivalences for Rectangular Hybrid Automata. | Thomas A. Henzinger, Peter W. Kopke |
| 1996 | Truly Concurrent Constraint Programming. | Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat |
| 1996 | Models for Concurrent Constraint Programming. | Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat |