Opened Access Towards a Causal Semantics for Brane Calculi
Estadísticas
Icon
Exportar a
Autor: Busi, Nadia
Fecha: 2007
Publicado en: Proceedings of the Fifth Brainstorming Week on Membrane Computing, 97-111. Sevilla, E.T.S. de Ingeniería Informática, 29 de Enero-2 de Febrero, 2007
ISBN/ISSN: 9788461167760
Tipo de documento: Ponencia
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 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.
Tamaño: 192.5Kb
Formato: PDF

URI: http://hdl.handle.net/11441/38525

Mostrar el registro completo del ítem


Esta obra está bajo una Licencia Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internacional

Este registro aparece en las siguientes colecciones