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 ".
