Concurrency
Networks, and
Coinduction
About
Team
Publications
Talks
Tools
Main team
Paul Brunet
University College London
Tobias Kappé
University College London
Alexandra Silva
University College London
Fabio Zanasi
University College London
Collaborators
Bas Luttik
Eindhoven University of Technology
Jurriaan Rot
Radboud University Nijmegen
Jana Wagemaker
Centrum Wiskunde & Informatica
