Mostrar el registro sencillo del ítem
Ponencia
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 |