| 1997 | A Rigorous Analysis of Concurrent Operations on B-Trees. | Anna Philippou, David Walker |
| 1997 | Bisimulation and Propositional Intuitionistic Logic. | Anna Patterson |
| 1997 | Model Checking PA-Processes. | Richard Mayr |
| 1997 | Causal Ambiguity and Partial Orders in Event Structures. | Rom Langerak, Ed Brinksma, Joost-Pieter Katoen |
| 1997 | How to Parallelize Sequential Processes. | Antonn Kucera |
| 1997 | High Level Expressions with their SOS Semantics (Extended Abstract). | Hanna Klaudel, Robert-C. Riemann |
| 1997 | Fair Simulation. | Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani |
| 1997 | A Product Version of Dynamic Linear Time Temporal Logic. | Jesper G. Henriksen, P. S. Thiagarajan |
| 1997 | On the Complexity of Verifying Concurrent Transition Systems. | David Harel, Orna Kupferman, Moshe Y. Vardi |
| 1997 | Probabilistic Concurrent Constraint Programming. | Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat |
| 1997 | Recent Developments in the Mathematics of Reactive Systems (Extended Abstract). | Jeremy Gunawardena |
| 1997 | Axiomatizing Flat Iteration. | Rob J. van Glabbeek |
| 1997 | Proving Safety Properties of Infinite State Systems by Compilation into Presburger Arithmetic. | Laurent Fribourg, Hans Olsn |
| 1997 | Implicit Typing la ML for the Join-Calculus. | Cdric Fournet, Cosimo Laneve, Luc Maranget, Didier Rmy |
| 1997 | Horizontal and Vertical Structuring Techniques for Statecharts. | Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg |
| 1997 | An Algebraic Theory of Multiple Clocks. | Rance Cleaveland, Gerald Lttgen, Michael Mendler |
| 1997 | Synthesis of Nets with Inhibitor Arcs. | Nadia Busi, G. Michele Pinna |
| 1997 | Reachability Analysis of Pushdown Automata: Application to Model-Checking. | Ahmed Bouajjani, Javier Esparza, Oded Maler |
| 1997 | Adding Partial Orders to Linear Temporal Logic. | Girish Bhat, Doron A. Peled |
| 1997 | Bounded Stacks, Bags and Queues. | Jos C. M. Baeten, Jan A. Bergstra |
| 1997 | A Universal Reactive Machine. | Henrik Reif Andersen, Simon Mrk, Morten Ulrik Srensen |
| 1997 | Modularity for Timed and Hybrid Systems. | Rajeev Alur, Thomas A. Henzinger |
| 1997 | Reasoning about Cryptographic Protocols in the Spi Calculus. | Martn Abadi, Andrew D. Gordon |
| 1996 | A Presheaf Semantics of Value-Passing Processes. | Glynn Winskel |
| 1996 | Constraints as Processes. | Bjrn Victor, Joachim Parrow |