Type Directed Semantics for the Calculus of Looping Sequences |
Download PDF |
Livio Bioglio,Mariangiola Dezani-Ciancaglini,Paola Giannini,Angelo Troina1. Type Directed Semantics for the Calculus of Looping Sequences. International Journal of Software and Informatics, 2013,7(4):501~526 |
Hits: 1979 |
Download times: 1910 |
|
Fund:This work is sponsored by the BioBITs Project (Converging Technologies 2007, area: Biotechnology-ICT), Regione Piemonte. |
|
Abstract:The calculus of looping sequences is a formalism for describing the evolution of biological systems by means of term rewriting rules. Here we enrich this calculus with a type discipline which preserves some biological properties deriving from the requirement of certain elements, and the repellency of others. In particular, the type system guarantees the soundness of the application of reduction rules with respect to the elements which are required (all requirements must be satisfied) and to the elements which are excluded (two elements which repel each other cannot occur in the same compartment). As an example, we model the possible interactions (and compatibility) of di?erent blood types with different antigens. The type system does not allow transfusion with incompatible blood types. |
keywords:rewrite systems calculus of looping sequences type systems systems biology |
View Full Text View/Add Comment Download reader |