Pi-Calculus Links.

Pi-Calculus People

• Otmane Ait-Mohamed
• Roberto Amadio
• Gianluigi Bellin
• Michele Boreale
• Gerard Boudol
• Simon Brock
• Nadia Busi
• Christoph Craseman
• Silvano Dal-Zilio
• Mads Dam
• Pierpaolo Degano
• Arie van Deursen
• Susan Eisenbach
• Joost Engelfriet
• GainLuigi Ferrari
• Lars-ake Fredlund
• Simon Gay
• Tjalling Gelsema
• Roberto Gorrieri
• Mathew Hennessy
• Kohei Honda
• Hans Hüttel
• Radha Jagadeesen
• Alan Jeffrey
• Ole Jensen
• Cliff Jones
• Carolina Lavatelli
• Lone Leth
• Huimin Lin
• Xinxin Liu
• Tom Melham
• Dale Miller
• Robin Milner
• Faron Moller
• Ugo Montanari
• Martin Müller
• Uwe Nestmann
• Joachim Niehren
• Mogens Nielsen
• Martin Odersky
• Fredrik Orava
• Gerald Ostheimer
• Joachim Parrow
• Anna Philippou
• Benjamin Pierce
• Marco Pistore
• Sanjiva Prasad
• Corrado Priami
• Paola Quaglia
• Matthias Radestock
• Nicola de Rocco
• Brian Ross
• Davide Sangiorgi
• Philip Scott
• Peter Sewell
• Gert Smolka
• Gheorghe Stefanescu
• Bent Thomsen
• Mario Tokoro
• David Turner
• Vasco Vasconcelos
• Björn Victor
• David Walker
• You! If you know an interesting link:Mail me!

Institutes and Groups

• Aarhus University, Department of Computer Science
• Computer Science Division, University of St Andrews
• University of Bologna, Dept. of COmputer Science
• University of Cambridge, Theory of Semantics
• University of Edinburgh, Dept of Computer Science
• Eindhoven University of Technology, Formal Methods Group
• INRIA Sophia-Antipolis
• Leiden University, Theoretical Computer Science
• University of Pisa, Department of Computer Science
• German Resarch Center for Artifcial Intelligence (DFKI); Universität des Saarlandes, Programming Systems Lab.
• SICS: Swedish Institute of Computer Science
• School of Cognitive and Computing Sciences, Sussex
• Dept of Computer Systems, Uppsala University
• University of Warwick, Dept of Computer Science

Tools

• The JACK Tool Set
• Mobility Workbench
• Oz
• PICT
• VPAM-0.8

Miscellaneous

• The Bibliography on Mobile Processes and the pi-Calculus maintained by Björn Victor and Uwe Nestmann.
• A course introducing the pi-calculus, given at SICS.