Towards a Causal Semantics for Brane Calculi

dc.creator	Busi, Nadia
dc.date.accessioned	2016-03-15T10:12:44Z
dc.date.available	2016-03-15T10:12:44Z
dc.date.issued	2007
dc.identifier.isbn	9788461167760	es
dc.identifier.uri	http://hdl.handle.net/11441/38525
dc.description.abstract	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.	es
dc.format	application/pdf	es
dc.language.iso	eng	es
dc.publisher	Fénix Editora	es
dc.relation.ispartof	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	es
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.title	Towards a Causal Semantics for Brane Calculi	es
dc.type	info:eu-repo/semantics/conferenceObject	es
dc.type.version	info:eu-repo/semantics/publishedVersion	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess
dc.identifier.idus	https://idus.us.es/xmlui/handle/11441/38525

Ficheros	Tamaño	Formato	Ver	Descripción
nadia.pdf	192.5Kb	[PDF]	Ver/Abrir

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional