Sciweavers

Share
94 search results - page 1 / 19
» Modeling Biological Systems in Stochastic Concurrent Constra...
Sort
View
ICLP
2009
Springer
9 years 7 months ago
Constraint Based Languages for Biological Reactions
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...
Marco Bottalico, Stefano Bistarelli
CIE
2009
Springer
9 years 1 months ago
Stochastic Programs and Hybrid Automata for (Biological) Modeling
We present a technique to associate to stochastic programs written in stochastic Concurrent Constraint Programming a semantics in terms of a lattice of hybrid automata. The aim of ...
Luca Bortolussi, Alberto Policriti
CLEIEJ
2006
88views more  CLEIEJ 2006»
8 years 6 months ago
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
Carlos Olarte, Camilo Rueda
ENTCS
2007
91views more  ENTCS 2007»
8 years 6 months ago
Timed Concurrent Constraint Programming for Analysing Biological Systems
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
Julian Gutierrez, Jorge A. Pérez, Camilo Ru...
books