Ponencia
Towards a Causal Semantics for Brane Calculi
Autor/es | Busi, Nadia |
Fecha de publicación | 2007 |
Fecha de depósito | 2016-03-15 |
Publicado en |
|
ISBN/ISSN | 9788461167760 |
Resumen | Brane Calculi are a family of biologically inspired process calculi, proposed
in [6] to model the interactions of dynamically nested membranes. We propose a semantics
that describes the causal dependencies occurring ... Brane Calculi are a family of biologically inspired process calculi, proposed in [6] to model the interactions of dynamically nested membranes. We propose a semantics that describes the causal dependencies occurring between the reactions of a system described in Brane Calculi. We investigate the basic properties that are satisfied by such a semantics. The notion of causality turns out to be quite relevant for biological systems, as it permits to point out which events occurring in a biological pathway are necessary for another event to happen. |