| 1997 | A Product Version of Dynamic Linear Time Temporal Logic. Jesper G. Henriksen, P. S. Thiagarajan |
| 1997 | A Rigorous Analysis of Concurrent Operations on B-Trees. Anna Philippou, David Walker |
| 1997 | A Universal Reactive Machine. Henrik Reif Andersen, Simon Mørk, Morten Ulrik Sørensen |
| 1997 | Adding Partial Orders to Linear Temporal Logic. Girish Bhat, Doron A. Peled |
| 1997 | Algebraic Characterization of Petri Net Pomset Semantics. Harro Wimmel, Lutz Priese |
| 1997 | An Algebraic Theory of Multiple Clocks. Rance Cleaveland, Gerald Lüttgen, Michael Mendler |
| 1997 | Axiomatizing Flat Iteration. Rob J. van Glabbeek |
| 1997 | Bisimulation and Propositional Intuitionistic Logic. Anna Patterson |
| 1997 | Bounded Stacks, Bags and Queues. Jos C. M. Baeten, Jan A. Bergstra |
| 1997 | CONCUR '97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings Antoni W. Mazurkiewicz, Józef Winkowski |
| 1997 | Causal Ambiguity and Partial Orders in Event Structures. Rom Langerak, Ed Brinksma, Joost-Pieter Katoen |
| 1997 | Cyclic Vector Languages. M. W. Shields |
| 1997 | Fair Simulation. Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani |
| 1997 | First-Order Axioms for Asynchrony. Peter Selinger |
| 1997 | High Level Expressions with their SOS Semantics (Extended Abstract). Hanna Klaudel, Robert-C. Riemann |
| 1997 | Horizontal and Vertical Structuring Techniques for Statecharts. Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg |
| 1997 | How to Parallelize Sequential Processes. Antonín Kucera |
| 1997 | Implicit Typing à la ML for the Join-Calculus. Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy |
| 1997 | Model Checking PA-Processes. Richard Mayr |
| 1997 | Modularity for Timed and Hybrid Systems. Rajeev Alur, Thomas A. Henzinger |
| 1997 | On Implementations and Semantics of a Concurrent Programming Language. Peter Sewell |
| 1997 | On the Complexity of Verifying Concurrent Transition Systems. David Harel, Orna Kupferman, Moshe Y. Vardi |
| 1997 | Partial-Order Reduction in the Weak Modal Mu-Calculus. Y. S. Ramakrishna, Scott A. Smolka |
| 1997 | Probabilistic Concurrent Constraint Programming. Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat |
| 1997 | Proving Safety Properties of Infinite State Systems by Compilation into Presburger Arithmetic. Laurent Fribourg, Hans Olsén |
| 1997 | Reachability Analysis of Pushdown Automata: Application to Model-Checking. Ahmed Bouajjani, Javier Esparza, Oded Maler |
| 1997 | Reasoning about Cryptographic Protocols in the Spi Calculus. Martín Abadi, Andrew D. Gordon |
| 1997 | Recent Developments in the Mathematics of Reactive Systems (Extended Abstract). Jeremy Gunawardena |
| 1997 | Synthesis of Nets with Inhibitor Arcs. Nadia Busi, G. Michele Pinna |