Search

The Project Team

This project has been established by a group of individuals, from industry and academia, to build a language and tools for describing, validating and enforcing protocols that represent the interactions between multiple participants.

The language was initially designed by Dr Kohei Honda and Gary Brown. The development of this langauge and its tool has invaluable contributions from the following ladies and gentlemen:

Robin Milner
Steve Ross-Talbot
Matthew Rawlings
Marco Carbone
Nobuko Yoshida
Matthew Arrott
Munindar Singh
Aybek Mukhamedov
Laura Bocchi