A Type System for a Stochastic CLS

TL;DR

This paper introduces a type system for the Stochastic Calculus of Looping Sequences, enabling the modeling of how catalysts influence system speeds, demonstrated through an example of the lactose operon.

Contribution

A novel type system that captures the effects of positive and negative catalysts on process speeds in stochastic biological models.

Findings

Types effectively model catalyst influence on speeds

Supports abstraction of element interactions

Validated with lactose operon example

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.