Sciweavers

Share
FMSB
2008

Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions

9 years 28 days ago
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds the number of steps that one process gets ahead of other processes; this allows the components of a system to move independently while keeping them coupled. Bounded asynchrony accurately reproduces the experimental observations made about certain cell-cell interactions: its constrained nondeterminism captures the variability observed in cells that, although equally potent, assume distinct fates. Real-life cells are not "scheduled", but we show that distributed real-time behavior can lead to component interactions that are observationally equivalent to bounded asynchrony; this provides a possible mechanistic explanation for the phenomena observed during cell fate specification. We use model checking to determine cell fates. The nondeterminism of bounded asynchrony causes state explosion during model ...
Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FMSB
Authors Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman
Comments (0)
books