A Type System for a Stochastic CLS

Mariangiola Dezani-Ciancaglini
(Dipartimento di Informatica, Università di Torino)
Paola Giannini
(Dipartimento di Informatica, Università del Piemonte Orientale)
Angelo Troina
(Dipartimento di Informatica, Università di Torino)

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.

In Gabriel Ciobanu: Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi 2009 (MeCBIC 2009), Bologna, Italy, 5th September 2009, Electronic Proceedings in Theoretical Computer Science 11, pp. 91–105.
Published: 30th November 2009.

ArXived at: https://dx.doi.org/10.4204/EPTCS.11.6 bibtex PDF

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org