A Type System for a Stochastic CLS

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.

• Type: Journal
• Year: 2009
• Where: CORR
• Authors: Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
• Keywords: CORR 2009, Education, Element Positions, Lactose Operon, Right Abstraction