Concurrent constraint programming
Concurrent constraint programming
Information Processing Letters
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
A compositional approach to the stochastic dynamics of gene networks
Transactions on Computational Systems Biology IV
Transactions on Computational Systems Biology VII
Continuous approximation of collective system behaviour: A tutorial
Performance Evaluation
Characterizing oscillatory and noisy periodic behavior in markov population models
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Hi-index | 0.00 |
We compare the hybrid, stochastic, and differential semantics for stochastic Concurrent Constraint Programming, focussing on the exhibited behavior of models and their robustness. By investigating in detail two case studies, a circadian clock model and the Repressilator, we comment on the effect of the introduction of a limited amount of discreteness in the description of biological systems with hybrid automata. Experimental evidence suggests that discreteness increases robustness of the models.