Life-Death Ratio Approach by a Multiset-Based Type System

dc.creator	Aman, Bogdan
dc.creator	Ciobanu, Gabriel
dc.date.accessioned	2016-01-25T10:23:40Z
dc.date.available	2016-01-25T10:23:40Z
dc.date.issued	2014
dc.identifier.isbn	978-84-940056-4-0	es
dc.identifier.uri	http://hdl.handle.net/11441/33217
dc.description.abstract	We introduce and study a multiset-based type system with ratio thresholds motivated by an important regulatory mechanism inside a cell which try to maintain a \life-death" ratio between some given lower and upper thresholds. We use such a type system to control ratio thresholds in a bio-inspired and multisets-based formalism. For this type system we prove a subject reduction theorem, together with soundness and completeness theorems. A type inference for deducing the type of a system is presented.	es
dc.format	application/pdf	es
dc.language.iso	eng	es
dc.publisher	Fénix Editora	es
dc.relation.ispartof	Proceedings of the Twelfth Brainstorming Week on Membrane Computing, 49-62. Sevilla, E.T.S. de Ingeniería Informática, 3-7 de Febrero, 2014,	es
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.title	Life-Death Ratio Approach by a Multiset-Based Type System	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/33217

Ficheros	Tamaño	Formato	Ver	Descripción
049_bwmc1403.pdf	338.7Kb	[PDF]	Ver/Abrir

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