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.
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina. Type Directed Semantics for the Calculus of Looping Sequences. International Journal of Software and Informatics, 2013,7(4):501~526Copy