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.
Bogdan Aman, Mariangiola Dezani, Angelo Troina (2009). Type Disciplines for Analysing Biologically Relevant Properties [10.1016/j.entcs.2008.12.106].
Type Disciplines for Analysing Biologically Relevant Properties
TROINA, ANGELO
2009
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.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
