A type system for required/excluded elements in CLS

Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina

Risultato della ricerca: Contributo su rivistaArticolo da conferenzapeer review

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 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.

Lingua originaleInglese
pagine (da-a)38-48
Numero di pagine11
RivistaElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume9
DOI
Stato di pubblicazionePubblicato - 15 nov 2009
Evento5th Workshop on Developments in Computational Models, DCM 2009 - Rhodes, Greece
Durata: 11 lug 2009 → …

Fingerprint

Entra nei temi di ricerca di 'A type system for required/excluded elements in CLS'. Insieme formano una fingerprint unica.

Cita questo