TY - JOUR
T1 - A type system for required/excluded elements in CLS
AU - Dezani-Ciancaglini, Mariangiola
AU - Giannini, Paola
AU - Troina, Angelo
N1 - Publisher Copyright:
© L. Gabora & S. Leijnen.
PY - 2009/11/15
Y1 - 2009/11/15
N2 - The calculus of looping sequences is a formalism for describing the evolution of biological systems by means of term rewriting rules. We enrich this calculus with a type discipline to guarantee the soundness of reduction rules with respect to some biological properties deriving fromthe requirement of certain elements, and the repellency of others. As an example, we model a toy system where the repellency of a certain element is captured by our type system and forbids another element to exit a compartment.
AB - The calculus of looping sequences is a formalism for describing the evolution of biological systems by means of term rewriting rules. We enrich this calculus with a type discipline to guarantee the soundness of reduction rules with respect to some biological properties deriving fromthe requirement of certain elements, and the repellency of others. As an example, we model a toy system where the repellency of a certain element is captured by our type system and forbids another element to exit a compartment.
UR - http://www.scopus.com/inward/record.url?scp=85051002108&partnerID=8YFLogxK
U2 - 10.4204/EPTCS.9.5
DO - 10.4204/EPTCS.9.5
M3 - Conference article
AN - SCOPUS:85051002108
SN - 2075-2180
VL - 9
SP - 38
EP - 48
JO - Electronic Proceedings in Theoretical Computer Science, EPTCS
JF - Electronic Proceedings in Theoretical Computer Science, EPTCS
T2 - 5th Workshop on Developments in Computational Models, DCM 2009
Y2 - 11 July 2009
ER -