- Project Dates: From July 1992 to July 1995
- Project Leader: Prof. Maciej Koutny
- Sponsors: ESPRIT
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).