| 2002 | Decision Algorithms for Probabilistic Bisimulation. | Stefano Cattani, Roberto Segala |
| 2002 | A Spatial Logic for Concurrency (Part II). | Lus Caires, Luca Cardelli |
| 2002 | A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence. | Maria Grazia Buscemi, Ugo Montanari |
| 2002 | Orchestrating Transactions in Join Calculus. | Roberto Bruni, Cosimo Laneve, Ugo Montanari |
| 2002 | Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes. | Stephen D. Brookes |
| 2002 | Introduction to Modal and Temporal Mu-Calculi (Abstract). | Julian C. Bradfield |
| 2002 | A Framework for the Analysis of Security Protocols. | Michele Boreale, Maria Grazia Buscemi |
| 2002 | Simulation for Continuous-Time Markov Chains. | Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort |
| 2002 | Widening the Boundary between Decidable and Undecidable Hybrid Systems. | Eugene Asarin, Gerardo Schneider |
| 2002 | On Name Generation and Set-Based Analysis in the Dolev-Yao Model. | Roberto M. Amadio, Witold Charatonik |
| 2002 | Regular Model Checking Made Simple and Efficient. | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso |
| 2001 | Divide and Compose: SCC Refinement for Language Emptiness. | Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi |
| 2001 | Randomized Non-sequential Processes. | Hagen Vlzer |
| 2001 | On the Power of Labels in Transition Systems. | Jir Srba |
| 2001 | Process Algebra and Security. | Steve A. Schneider |
| 2001 | Control of Networks of Unmanned Vehicles. | Shankar Sastry |
| 2001 | On Barbed Equivalences in pi-Calculus. | Davide Sangiorgi, David Walker |
| 2001 | Liveness and Fairness in Process-Algebraic Verification. | Antti Puhakka, Antti Valmari |
| 2001 | CCS with Priority Guards. | Iain Phillips |
| 2001 | Local First Search - A New Paradigm for Partial Order Reductions. | Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez |
| 2001 | Bigraphical Reactive Systems. | Robin Milner |
| 2001 | A Faster-than Relation for Asynchronous Processes. | Gerald Lttgen, Walter Vogler |
| 2001 | A Testing Theory for Generally Distributed Stochastic Processes. | Natalia Lpez, Manuel Nez |
| 2001 | Symbolic Computation of Maximal Probabilistic Reachability. | Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston |
| 2001 | Extended Temporal Logic Revisited. | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |