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