Type system for a stochastic CLS

Mariangiola Dezani-Ciancaglin, Paola Giannini, Angelo Troina

Risultato della ricerca: Contributo su rivistaArticolo da conferenzapeer review

Abstract

The Stochastic Calculus of Looping Sequences is suitable to describe the evolution of microbiological systems, taking into account the speed of the described activities. We propose a type system for this calculus that models how the presence of positive and negative catalysers can modify these speeds. We claim that types are the right abstraction in order to represent the interaction between elements without specifying exactly the element positions. Our claim is supported through an example modelling the lactose operon.

Lingua originaleInglese
pagine (da-a)91-105
Numero di pagine15
RivistaElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume11
DOI
Stato di pubblicazionePubblicato - 30 nov 2009
Evento3rd Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009 - Bologna, Italy
Durata: 5 set 2009 → …

Fingerprint

Entra nei temi di ricerca di 'Type system for a stochastic CLS'. Insieme formano una fingerprint unica.

Cita questo