Logo del repository
  1. Home
 
Opzioni

Stochastic Concurrent Constraint Programming and Differential Equations

BORTOLUSSI, LUCA
•
POLICRITI A.
2007
  • conference object

Periodico
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Abstract
We tackle the problem of relating models of systems (mainly biological systems) based on stochastic process algebras (SPA) with models based on differential equations. We define a syntactic procedure that translates programs written in stochastic Concurrent Constraint Programming (sCCP) into a set of Ordinary Differential Equations (ODE), and also the inverse procedure translating ODE's into sCCP programs. For the class of biochemical reactions, we show that the translation is correct w.r.t. the intended rate semantics of the models. Finally, we show that the translation does not generally preserve the dynamical behavior, giving a list of open research problems in this direction
DOI
10.1016/j.entcs.2007.07.003
Archivio
http://hdl.handle.net/11368/1707523
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-34548268951
http://www.sciencedirect.com/science/article/pii/S1571066107005567
Diritti
metadata only access
Soggetti
  • Stochastic Concurrent...

  • stochastic modeling

  • ordinary differential...

  • biological systems

Scopus© citazioni
18
Data di acquisizione
Jun 7, 2022
Vedi dettagli
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback