3 research outputs found
Life-Death Ratio Approach by a Multiset-Based Type System
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
Frontiers of Membrane Computing: Open Problems and Research Topics
This is a list of open problems and research topics collected after the Twelfth
Conference on Membrane Computing, CMC 2012 (Fontainebleau, France (23 - 26 August
2011), meant initially to be a working material for Tenth Brainstorming Week on
Membrane Computing, Sevilla, Spain (January 30 - February 3, 2012). The result was
circulated in several versions before the brainstorming and then modified according to
the discussions held in Sevilla and according to the progresses made during the meeting.
In the present form, the list gives an image about key research directions currently active
in membrane computing