Process Algebras and Quantified Information Flow (PAQIF)

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.

Principal Investigator

David Clark


  • University of Rome, Italy


This project was funded by the Royal Society.

This page was last modified on 07 Sep 2011.