We present a reduction semantics for the π-calculus from which causality and concurrency can be mechanically derived. We prove
that our semantics agrees with the causal definitions presented in the literature. We then apply the causal reduction semantics
in the domain of biochemical systems to study the interactions of components.
Keywords Concurrency - Causality - Reduction Semantics - Bio-informatics - Formal Description of Biochemical Processes
The first two authors have been partially supported by UE project IST-32072- DEGAS within the FET initiative on Global Computing
and by the MIUR Project MEFISTO.