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

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

 

Búsqueda avanzada
 
Opened Access Life-Death Ratio Approach by a Multiset-Based Type System
Citas
Estadísticas
Icon
Exportar a
Autor: Aman, Bogdan
Ciobanu, Gabriel
Fecha: 2014
Publicado en: 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,
ISBN/ISSN: 978-84-940056-4-0
Tipo de documento: Ponencia
Resumen: 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.
Tamaño: 338.7Kb
Formato: PDF

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

Salvo que se indique lo contrario, los contenidos de esta obra estan sujetos a la licencia de Creative Commons: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

Este registro aparece en las siguientes colecciones