| 2002 | A Calculus of Mobile Resources. Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone |
| 2002 | A Decidable Class of Asynchronous Distributed Controllers. P. Madhusudan, P. S. Thiagarajan |
| 2002 | A Decidable Fixpoint Logic for Time-Outs. Maria Sorea |
| 2002 | A Deductive Proof System for CTL. Amir Pnueli, Yonit Kesten |
| 2002 | A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence. Maria Grazia Buscemi, Ugo Montanari |
| 2002 | A Framework for the Analysis of Security Protocols. Michele Boreale, Maria Grazia Buscemi |
| 2002 | A Hierarchy of Polynomial-Time Computable Simulations for Automata. Kousha Etessami |
| 2002 | A Spatial Logic for Concurrency (Part II). Luís Caires, Luca Cardelli |
| 2002 | Alphabet-Based Synchronisation is Exponentially Cheaper. Antti Valmari, Antti Kervinen |
| 2002 | Axiomatizing an Algebra of Step Reactions for Synchronous Languages. Gerald Lüttgen, Michael Mendler |
| 2002 | CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings Lubos Brim, Petr Jancar, Mojmír Kretínský, Antonín Kucera |
| 2002 | Causality Semantics of Petri Nets with Weighted Inhibitor Arcs. H. C. M. Kleijn, Maciej Koutny |
| 2002 | Decidability of Strong Bisimilarity for Timed BPP. Slawomir Lasota |
| 2002 | Decision Algorithms for Probabilistic Bisimulation. Stefano Cattani, Roberto Segala |
| 2002 | Event-State Duality: The Enriched Case. Vaughan R. Pratt |
| 2002 | Expressive Power of Temporal Logics. Alexander Moshe Rabinovich |
| 2002 | HOPLA-A Higher-Order Process Language. Mikkel Nygaard, Glynn Winskel |
| 2002 | Introduction to Modal and Temporal Mu-Calculi (Abstract). Julian C. Bradfield |
| 2002 | Local Model Checking Games for Fixed Point Logic with Chop. Martin Lange |
| 2002 | Network Invariants in Action. Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck |
| 2002 | On Name Generation and Set-Based Analysis in the Dolev-Yao Model. Roberto M. Amadio, Witold Charatonik |
| 2002 | On the Decidability of Cryptographic Protocols with Open-Ended Data Structures. Ralf Küsters |
| 2002 | Orchestrating Transactions in Join Calculus. Roberto Bruni, Cosimo Laneve, Ugo Montanari |
| 2002 | Reducing Model Checking from Multi-valued {\rm CTL}^{\ast} to {\rm CTL}^{\ast}. Beata Konikowska, Wojciech Penczek |
| 2002 | Refinement and Verification Applied to an In-Flight Data Acquisition Unit. Wan J. Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein |
| 2002 | Refinement-Robust Fairness. Hagen Völzer |
| 2002 | Regular Model Checking Made Simple and Efficient. Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso |
| 2002 | Regular Sets of Pomsets with Autoconcurrency. Jean Fanchon, Rémi Morin |
| 2002 | Safe Realizability of High-Level Message Sequence Charts. Markus Lohrey |
| 2002 | Simulation for Continuous-Time Markov Chains. Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort |
| 2002 | The Fusion Machine. Philippa Gardner, Cosimo Laneve, Lucian Wischik |
| 2002 | Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes. Stephen D. Brookes |
| 2002 | Types for Cryptographic Protocols. Andrew D. Gordon |
| 2002 | Types, or: Where's the Difference Between CCS and pi? Davide Sangiorgi |
| 2002 | Typing and Subtyping Mobility in Boxed Ambients. Massimo Merro, Vladimiro Sassone |
| 2002 | Undecidability of Weak Bisimilarity for Pushdown Processes. Jirí Srba |
| 2002 | Using Ambients to Control Resources. David Teller, Pascal Zimmer, Daniel Hirschkoff |
| 2002 | Weak Bisimulation is Sound and Complete for PCTL*. Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
| 2002 | Why Is Simulation Harder than Bisimulation? Antonín Kucera, Richard Mayr |
| 2002 | Widening the Boundary between Decidable and Undecidable Hybrid Systems. Eugene Asarin, Gerardo Schneider |