Hybrid Semantics for Stochastic π-Calculus
From MaRDI portal
Publication:3599192
DOI10.1007/978-3-540-85101-1_4zbMath1171.68563MaRDI QIDQ3599192
Luca Bortolussi, Alberto Policriti
Publication date: 3 February 2009
Published in: Algebraic Biology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-85101-1_4
68Q45: Formal languages and automata
92C40: Biochemistry, molecular biology
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modeling biological systems in stochastic concurrent constraint programming
- On process rate semantics
- Stochastic Concurrent Constraint Programming and Differential Equations
- Hybrid Systems: Computation and Control
- On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation