International Journal of Software and Informatics
1673-7288
2013
7
4
501
526
article
Type Directed Semantics for the Calculus of Looping Sequences
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.
rewrite systems; calculus of looping sequences; type systems; systems biology
Livio Bioglio,Mariangiola Dezani-Ciancaglini,Paola Giannini,Angelo Troina
Livio Bioglio,Mariangiola Dezani-Ciancaglini,Paola Giannini and Angelo Troina
ijsi/article/abstract/i172