| 1998 | A Categorical Axiomatics for Bisimulation. Gian Luca Cattani, John Power, Glynn Winskel |
| 1998 | A Relational Model of Non-deterministic Dataflow. Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel |
| 1998 | Abstract Games for Infinite State Processes. Perdita Stevens |
| 1998 | Algebraic Techniques for Timed Systems. Albert Benveniste, Claude Jard, Stephane Gaubert |
| 1998 | Alternating Refinement Relations. Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi |
| 1998 | Asynchronous Cellular Automata and Asynchronous Automata for Pomsets. Dietrich Kuske |
| 1998 | Automata and Coinduction (An Exercise in Coalgebra). Jan J. M. M. Rutten |
| 1998 | Axioms for Real-Time Logics. Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger |
| 1998 | CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings Davide Sangiorgi, Robert de Simone |
| 1998 | Checking Verifications of Protocols and Distributed Systems by Computer. Jan Friso Groote, François Monin, Jaco van de Pol |
| 1998 | Control Flow Analysis for the pi-calculus. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
| 1998 | Controlled Timed Automata. François Demichelis, Wieslaw Zielonka |
| 1998 | Controllers for Discrete Event Systems via Morphisms. P. Madhusudan, P. S. Thiagarajan |
| 1998 | Decompositions of Asynchronous Systems. Rémi Morin |
| 1998 | Deriving Unbounded Petri Nets from Formal Languages. Philippe Darondeau |
| 1998 | Detecting Deadlocks in Concurrent Systems. Lisbeth Fajstrup, Eric Goubault, Martin Raußen |
| 1998 | Fibrational Semantics of Dataflow Networks. Eugene W. Stark |
| 1998 | From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static Operators. José-Luis Vivas, Mads Dam |
| 1998 | From Rewrite to Bisimulation Congruences. Peter Sewell |
| 1998 | Herbrand Automata for Hardware Verification. Werner Damm, Amir Pnueli, Sitvanit Ruah |
| 1998 | It's About Time: Real-Time Logics Reviewed. Thomas A. Henzinger |
| 1998 | Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract). Nobuko Yoshida |
| 1998 | Modelling IP Mobility. Roberto M. Amadio, Sanjiva Prasad |
| 1998 | On Discretization of Delays in Timed Automata and Digital Circuits. Eugene Asarin, Oded Maler, Amir Pnueli |
| 1998 | Partial Order Reductions for Timed Systems. Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi |
| 1998 | Possible Worlds for Process Algebras. Simone Veglioni, Rocco De Nicola |
| 1998 | Praobabilistic Resource Failure in Real-Time Process Algebra. Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky |
| 1998 | Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract). Holger Hermanns, Markus Lohrey |
| 1998 | Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures. Frank S. de Boer |
| 1998 | Reduction in TLA. Ernie Cohen, Leslie Lamport |
| 1998 | Simulation Is Decidable for One-Counter Nets (Extended Abstract). Parosh Aziz Abdulla, Karlis Cerans |
| 1998 | Sometimes and Not Never Re-revisited: On Branching Versus Linear Time. Moshe Y. Vardi |
| 1998 | Stochastic Process Algebras Benefits for Performance Evaluation and Challenges (Extended Abstract). Ulrich Herzog |
| 1998 | Stochastic Transition Systems. Luca de Alfaro |
| 1998 | Synthesis from Knowledge-Based Specifications (Extended Abstract). Ron van der Meyden, Moshe Y. Vardi |
| 1998 | Synthesis of ENI-systems Using Minimal Regions. Marta Pietkiewicz-Koutny |
| 1998 | The Regular Viewpoint on PA-Processes. Denis Lugiez, Philippe Schnoebelen |
| 1998 | The Tau-Laws of Fusion. Joachim Parrow, Björn Victor |
| 1998 | Towards Performance Evaluation with General Distributions in Process Algebras. Mario Bravetti, Marco Bernardo, Roberto Gorrieri |
| 1998 | Type Systems for Concurrent Calculi (Abstract). Benjamin C. Pierce |
| 1998 | Unfold/Fold Transformations of CCP Programs. Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo |
| 1998 | Unfolding and Finite Prefix for Nets with Read Arcs. Walter Vogler, Alexei L. Semenov, Alexandre Yakovlev |