Stochastic Pi-calculus Revisited

DOI10.1007/978-3-642-39718-9_1zbMath1405.68209OpenAlexW198751654MaRDI QIDQ2851897

Luca Cardelli, Radu Mardare

Publication date: 4 October 2013

Published in: Theoretical Aspects of Computing – ICTAC 2013 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39718-9_1

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Reduction semantics in Markovian process algebra

This page was built for publication: Stochastic Pi-calculus Revisited