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: 1296
Download times: 1171
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



Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences
ICP: Jing ICP Bei No.10016592

京公网安备 11040202500065号