School of Computing Science


CALIBAN - Causal Calculi Based on Nets

CALIBAN contributes towards the combination and integration of causality-based models of concurrency (such as Petri nets) and calculus-oriented models of concurrency. This involves (1) the investigation of a unified behavioural semantics of causality; (2) the investigation of the connections between the structure and the behaviour of a concurrent system; (3) the development of an algebra which emphasises the benefits of an explicit representation of causality; and (4) the integration of high-level nets into a calculus-oriented specification method. The work builds on results achieved in DEMON (3148).