Roberto Amadio "A synchronous pi-calculus ".
    Jos Baeten "Using hybrid process algebra in model-based engineering of embedded systems ".
    Jesper Bengston "Formalising the pi-calculus using nominal logic ".
    Jan Bergstra "Thread algebra for strategic interleaving ".
    Nadia Busi "Expressiveness of bio-inspired process calculi ".
    Luis Caires "Properties of Interaction in Space".
    Marco Carbone/Kohei Honda/Nobuko Yoshida "A Theoretical Basis of Communication-Centred Concurrent Programming ".
    Luca Cardelli "Artificial Biochemistry ".
    Giuseppe Castagna "Milner's encoding revisited: new trends in (sub-)typing the pi-calculus". (Joint work with Rocco De Nicola, Mariangiola Dezani, and Daniele Varacca)
    Flavio Corradini "Checking a Mutex Algorithm in a Process Algebra with Fairness ".
    Pierre-Louis Curien "An approach to innocent strategies as graphs ".
    Frank de Boer "Object-oriented concurrency ".
    Wan Fokkink "Cones and foci: A mechanical framework for protocol verification".
    Cedric Fournet "Applications of concurrency theory to cryptography ".
    Laurent Fribourg "The critical-path problem in asynchronous circuits: A concurrency view ".
    Hubert Garavel "Practical applications of process calculi in industrial projects ".
    Andrew Gordon "A chart semantics for the pi-calculus ".(Based on joint work with Johannes Borgstroem and Andrew Phillips)
    Tony Hoare "Verification of Fine-grain Concurrency: Invariant Assertions, Rely/Guarantee Conditions, and perhaps Separation Logic and Petri nets ".
    Marta Kwiatowska "Analysing mobile ad hoc network protocols via probabilistic model checking".
    Kim Larsen "Optimal Real Time Games ".
    Jean-Jacques Levy "History based information flow in the lambda calculus ".
    Robin Milner "Bigraphs and Confluence ".
    Mike Mislove "Probabilistic Semantics " .
    Ugo Montanari "A Coalgebraic Theory of Reactive Systems ".
    Uwe Nestman "Applications of Concurrency Theory to Distributed Algorithms ".
    Mogens Nielsen "Computational Trust - Ideas towards a Science for Ubiquitous Computing ".
    Joachim Parrow "Expressiveness of Process Algebras ".
    Vijay Saraswat "A Theory of Memory Models ".
    Roberto Segala "Probability and Concurrency: where are the Problems?" .
    Peter Sewell "From HOL, ML and Pi-calculus to typed distributed programming" .
    Pawel Sobocinski "Towards a general theory of labels from reductions ".
    Kazunori Ueda "Hierarchical graph rewriting as a unifying model of concurrency ".
    Glynn Winskel "Causality Types ".