Analysis of process interactions

Hanne Riis Nielson, Technical University of Denmark

Abstract 

Process calculi are finding new application areas and consequently new
research challenges arise. Inspired by applications in Systems Biology we
have developed a static analysis of process interactions. It is formulated
as an instance of a Monotone Framework and thus draws on techniques that
often are associated with the efficient implementation of classical
imperative programming languages. The result of our analysis is a finite
transition graph that faithfully approximates the potential interactions of
a process; finiteness is achieved using techniques from Abstract
Interpretation. The perspectives of the approach are illustrated using
several examples.