| 1999 | Model Checking of Message Sequence Charts. | Rajeev Alur, Mihalis Yannakakis |
| 1999 | "Next" Heuristic for On-the-Fly Model Checking. | Rajeev Alur, Bow-Yaw Wang |
| 1999 | Automating Modular Verification. | Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
| 1999 | Computing Minimum and Maximum Reachability Times in Probabilistic Systems. | Luca de Alfaro |
| 1998 | Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract). | Nobuko Yoshida |
| 1998 | Unfolding and Finite Prefix for Nets with Read Arcs. | Walter Vogler, Alexei L. Semenov, Alexandre Yakovlev |
| 1998 | From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static Operators. | Jos-Luis Vivas, Mads Dam |
| 1998 | Possible Worlds for Process Algebras. | Simone Veglioni, Rocco De Nicola |
| 1998 | Sometimes and Not Never Re-revisited: On Branching Versus Linear Time. | Moshe Y. Vardi |
| 1998 | Abstract Games for Infinite State Processes. | Perdita Stevens |
| 1998 | Fibrational Semantics of Dataflow Networks. | Eugene W. Stark |
| 1998 | From Rewrite to Bisimulation Congruences. | Peter Sewell |
| 1998 | Automata and Coinduction (An Exercise in Coalgebra). | Jan J. M. M. Rutten |
| 1998 | Axioms for Real-Time Logics. | Jean-Franois Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger |
| 1998 | Synthesis of ENI-systems Using Minimal Regions. | Marta Pietkiewicz-Koutny |
| 1998 | Type Systems for Concurrent Calculi (Abstract). | Benjamin C. Pierce |
| 1998 | Praobabilistic Resource Failure in Real-Time Process Algebra. | Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky |
| 1998 | The Tau-Laws of Fusion. | Joachim Parrow, Bjrn Victor |
| 1998 | Decompositions of Asynchronous Systems. | Rmi Morin |
| 1998 | Synthesis from Knowledge-Based Specifications (Extended Abstract). | Ron van der Meyden, Moshe Y. Vardi |
| 1998 | Controllers for Discrete Event Systems via Morphisms. | P. Madhusudan, P. S. Thiagarajan |
| 1998 | The Regular Viewpoint on PA-Processes. | Denis Lugiez, Philippe Schnoebelen |
| 1998 | Asynchronous Cellular Automata and Asynchronous Automata for Pomsets. | Dietrich Kuske |
| 1998 | A Relational Model of Non-deterministic Dataflow. | Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel |
| 1998 | Stochastic Process Algebras Benefits for Performance Evaluation and Challenges (Extended Abstract). | Ulrich Herzog |