Hybrid dynamics of stochastic \(\pi \)-calculus

DOI10.1007/S11786-008-0065-3zbMath1205.68238OpenAlexW2057210114MaRDI QIDQ626878

Luca Bortolussi, Alberto Policriti

Publication date: 19 February 2011

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-008-0065-3

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Stochastic processes (60G99) Computational methods for stochastic equations (aspects of stochastic analysis) (60H35) Physiological, cellular and medical topics (92C99)

Related Items (4)

A general overview of formal languages for individual-based modelling of ecosystems ⋮ Simulation techniques for the calculus of wrapped compartments ⋮ Hybrid dynamics of stochastic programs ⋮ Hybrid behaviour of Markov population models

This page was built for publication: Hybrid dynamics of stochastic \(\pi \)-calculus