| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 423185 | Electronic Notes in Theoretical Computer Science | 2009 | 15 Pages |
Abstract
The calculus of looping sequences is a formalism for describing evolution of biological systems by means of term rewriting rules. We propose to enrich this calculus with type disciplines to guarantee the soundness of reduction rules with respect to interesting biological properties.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
