Type Disciplines for Analysing Biologically Relevant Properties (2009)
Bogdan Aman, Mariangiola Dezani-ciancaglini, Angelo Troina
The calculus of looping sequences is a formalism for describing evolution of biological systems by means of term rewriting rules. We propose to enrich this calculus with type disciplines to guarantee...
Type Disciplines for Analysing Biologically Relevant Properties (2009)
Bogdan Aman, Mariangiola Dezani-ciancaglini, Angelo Troina
The calculus of looping sequences is a formalism for describing evolution of biological systems by means of term rewriting rules. We propose to enrich this calculus with type disciplines to guarantee...
Mutual Mobile Membranes with Timers (2009)
Aman, Bogdan, Ciobanu, Gabriel
A feature of current membrane systems is the fact that objects and membranes are persistent. However, this is not true in the real world. In fact, cells and intracellular proteins have a well-defined...
On the Reachability Problem in P Systems with (2008)
Mobile Membranes, Bogdan Aman, Gabriel Ciobanu
Summary. We investigate the problem of reaching a configuration from another configuration in mobile membranes, and prove that the reachability can be decided by reducing it to the reachability...