Stochastic Pi-calculus Revisited

DOI10.1007/978-3-642-39718-9_1MaRDI QIDQ2851897zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• A Probabilistic Applied Pi–Calculus
• Hybrid dynamics of stochastic -calculus
• Hybrid Semantics for Stochastic π-Calculus
• Stochastic \(\lambda\)-calculi: an extended abstract
• scientific article; zbMATH DE number 438419
• scientific article; zbMATH DE number 3980165
• Publication:4508299
• Behavioural equivalences of a probabilistic pi-calculus
• Probabilistic \(\pi\)-calculus and event structures

Cited in

(13)

• Stochastic model checking of the stochastic quality calculus
• Reduction semantics in Markovian process algebra
• Hybrid dynamics of stochastic -calculus
• A Probabilistic Applied Pi–Calculus
• The measurable space of stochastic processes
• Structural Operational Semantics for Stochastic Process Calculi
• Categories of timed stochastic relations
• An abstract machine for the stochastic bioambient calculus
• A correct abstract machine for the stochastic bioambient calculus
• Behavioural equivalences of a probabilistic pi-calculus
• scientific article; zbMATH DE number 1372683 (Why is no real title available?)
• Rate-Based Transition Systems for Stochastic Process Calculi
• Hybrid Semantics for Stochastic π-Calculus

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851897)