A Type System for Required/Excluded Elements in CLS
Mariangiola Dezani-Ciancaglini (Dipartimento di Informatica,, Universit\`a di Torino), Paola Giannini (Dipartimento di Informatica,, Universit\`a del Piemonte Orientale), Angelo Troina (Dipartimento di, Informatica, Universit\`a di Torino)
TL;DR
This paper introduces a type system for the calculus of looping sequences to ensure biological properties like element requirement and repellency, enhancing the formal modeling of biological systems.
Contribution
It extends the calculus of looping sequences with a type discipline that guarantees soundness of reductions concerning biological element requirements and repellencies.
Findings
Type system guarantees soundness of biological property modeling
Modeling of element repellency in biological compartments
Formal verification of biological constraints
Abstract
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 from the 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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.