Repositorio de producción científica de la Universidad de Sevilla

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

 

Advanced Search
 

Show simple item record

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
Size: 338.7Kb
Format: PDF

This item appears in the following Collection(s)

Show simple item record