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

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


Advanced Search
Opened Access Life-Death Ratio Approach by a Multiset-Based Type System
Show item statistics
Export to
Author: Aman, Bogdan
Ciobanu, Gabriel
Date: 2014
Published in: 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
Document type: Presentation
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.
Size: 338.7Kb
Format: PDF


This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)