Summary:  The aim is to extend Dr Clark’s previous research into measuring the amount of information flow within programs using information theoretic measures. The objective is to develop definitions and techniques which will allow the automatic computation of flow measurements suitable for process algebras. These latter formalisms can be thought of as high level descriptions of how interaction and communication occur, for example within networks. Dr Gorla is a recognised expert in the area of process algebras.

David Clark

• University of Rome, Italy

This project was funded by the Royal Society.