| 1998 | Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract). | Holger Hermanns, Markus Lohrey |
| 1998 | It's About Time: Real-Time Logics Reviewed. | Thomas A. Henzinger |
| 1998 | Checking Verifications of Protocols and Distributed Systems by Computer. | Jan Friso Groote, Franois Monin, Jaco van de Pol |
| 1998 | Detecting Deadlocks in Concurrent Systems. | Lisbeth Fajstrup, Eric Goubault, Martin Rauen |
| 1998 | Unfold/Fold Transformations of CCP Programs. | Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo |
| 1998 | Controlled Timed Automata. | Franois Demichelis, Wieslaw Zielonka |
| 1998 | Deriving Unbounded Petri Nets from Formal Languages. | Philippe Darondeau |
| 1998 | Herbrand Automata for Hardware Verification. | Werner Damm, Amir Pnueli, Sitvanit Ruah |
| 1998 | Reduction in TLA. | Ernie Cohen, Leslie Lamport |
| 1998 | A Categorical Axiomatics for Bisimulation. | Gian Luca Cattani, John Power, Glynn Winskel |
| 1998 | Towards Performance Evaluation with General Distributions in Process Algebras. | Mario Bravetti, Marco Bernardo, Roberto Gorrieri |
| 1998 | Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures. | Frank S. de Boer |
| 1998 | Control Flow Analysis for the pi-calculus. | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
| 1998 | Algebraic Techniques for Timed Systems. | Albert Benveniste, Claude Jard, Stephane Gaubert |
| 1998 | Partial Order Reductions for Timed Systems. | Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi |
| 1998 | On Discretization of Delays in Timed Automata and Digital Circuits. | Eugene Asarin, Oded Maler, Amir Pnueli |
| 1998 | Modelling IP Mobility. | Roberto M. Amadio, Sanjiva Prasad |
| 1998 | Alternating Refinement Relations. | Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi |
| 1998 | Stochastic Transition Systems. | Luca de Alfaro |
| 1998 | Simulation Is Decidable for One-Counter Nets (Extended Abstract). | Parosh Aziz Abdulla, Karlis Cerans |
| 1997 | Algebraic Characterization of Petri Net Pomset Semantics. | Harro Wimmel, Lutz Priese |
| 1997 | Cyclic Vector Languages. | M. W. Shields |
| 1997 | On Implementations and Semantics of a Concurrent Programming Language. | Peter Sewell |
| 1997 | First-Order Axioms for Asynchrony. | Peter Selinger |
| 1997 | Partial-Order Reduction in the Weak Modal Mu-Calculus. | Y. S. Ramakrishna, Scott A. Smolka |