Stochastic Pi-calculus Revisited

DOI10.1007/978-3-642-39718-9_1zbMATH Open1405.68209OpenAlexW198751654MaRDI QIDQ2851897FDOQ2851897

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

Recommendations

• A Probabilistic Applied Pi–Calculus
• Hybrid dynamics of stochastic \(\pi \)-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

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)

Cited In (13)

• Stochastic model checking of the stochastic quality calculus
• Reduction semantics in Markovian process algebra
• Hybrid dynamics of stochastic \(\pi \)-calculus
• A Probabilistic Applied Pi–Calculus
• The measurable space of stochastic processes
• Structural Operational Semantics for Stochastic Process Calculi
• An abstract machine for the stochastic bioambient calculus
• Categories of timed stochastic relations
• A correct abstract machine for the stochastic bioambient calculus
• Title not available (Why is that?)
• Behavioural equivalences of a probabilistic pi-calculus
• 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)