The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent constraint programming
Concurrent constraint programming
Nondeterminism and infinite computations in constraint programming
Selected papers of the workshop on Topology and completion in semantics
Information Processing Letters
Mathematical Models in Biology
Mathematical Models in Biology
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Computational Modeling of Genetic and Biochemical Networks (Computational Molecular Biology)
Computational Modeling of Genetic and Biochemical Networks (Computational Molecular Biology)
Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps
BIBM '07 Proceedings of the 2007 IEEE International Conference on Bioinformatics and Biomedicine
Abstract machines of systems biology
Transactions on Computational Systems Biology III
A compositional approach to the stochastic dynamics of gene networks
Transactions on Computational Systems Biology IV
Hybrid Semantics for Stochastic π-Calculus
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
HYPE Applied to the Modelling of Hybrid Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrated Analysis from Abstract Stochastic Process Algebra Models
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation
Electronic Notes in Theoretical Computer Science (ENTCS)
The BlenX Language with Biological Transactions
Transactions on Computational Systems Biology IX
The Importance of Being (A Little Bit) Discrete
Electronic Notes in Theoretical Computer Science (ENTCS)
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
Electronic Notes in Theoretical Computer Science (ENTCS)
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science
Categories of Timed Stochastic Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Stochastic Programs and Hybrid Automata for (Biological) Modeling
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
CoBiC: Context-dependent Bioambient Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Hybrid dynamics of stochastic programs
Theoretical Computer Science
Hybrid systems and biology: continuous and discrete modeling for systems biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Limit behavior of the hybrid approximation of stochastic process algebras
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
The attributed pi-calculus with priorities
Transactions on Computational Systems Biology XII
Fluid analysis of foraging ants
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
A compositional approach for modeling and simulation of bio-molecular systems
Proceedings of the Winter Simulation Conference
Simulating Signalling Pathways With BioWayS
Electronic Notes in Theoretical Computer Science (ENTCS)
Continuous approximation of collective system behaviour: A tutorial
Performance Evaluation
| Hi-index | 0.01 |
We present an application of stochastic Concurrent Constraint Programming (sCCP) for modeling biological systems. We provide a library of sCCP processes that can be used to describe straightforwardly biological networks. In the meanwhile, we show that sCCP proves to be a general and extensible framework, allowing to describe a wide class of dynamical behaviours and kinetic laws.