A Type System for a Stochastic CLS

15 years 13 days ago

Download www.di.unito.it

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.

Mariangiola Dezani-Ciancaglini, Paola Giannini, An

Real-time Traffic

CORR 2009 | Education | Element Positions | Lactose Operon | Right Abstraction |

claim paper

» Inference In GompertzType Nonhomogeneous Stochastic Systems By Means Of Discrete Sampling

» A coupling technique for stochastic comparison of functions of Markov Processes

» On detectability of stochastic systems

» Coupled Hierarchical IR and Stochastic Models for Surface Information Extraction

» Biochemical Network Stochastic Simulator BioNetS software for stochastic modeling of bioch...

» Decentralized adaptive outputfeedback stabilization for largescale stochastic nonlinear sy...

» Recursive state estimation for linear systems with mixed stochastic and setbounded disturb...

» Polynomial Stochastic Hybrid Systems

Post Info
More Details (n/a)

Added	17 Feb 2011
Updated	17 Feb 2011
Type	Journal
Year	2009
Where	CORR
Authors	Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina

Comments (0)

Sciweavers

A Type System for a Stochastic CLS

CORR 2009 | Education | Element Positions | Lactose Operon | Right Abstraction |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers