Probabilistic π-Calculus and Event Structures

DOI10.1016/j.entcs.2007.07.009zbMath1279.68269OpenAlexW2293619108MaRDI QIDQ2870289

Nobuko Yoshida, Daniele Varacca

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.07.009

zbMATH Keywords

\(\pi\)-calculusevent structuresprobabilistic processeslinear types

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) 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 (6)

Behavioural equivalences of a probabilistic pi-calculus ⋮ Interval probability for sessions types ⋮ Bayesian strategies: probabilistic programs as generalised graphical models ⋮ Causal Unfoldings ⋮ Typed event structures and the linear \(\pi \)-calculus ⋮ Probabilistic Analysis of Binary Sessions

Cites Work

• Strong normalisation in the \(\pi\)-calculus
• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• Typed event structures and the linear \(\pi \)-calculus
• Sequential algorithms on concrete data structures
• Bisimulation through probabilistic testing
• Concrete domains
• On full abstraction for PCF: I, II and III
• Systolic arrays for the recognition of permutation-invariant segments
• True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
• Probabilistic event structures and domains
• Bisimulation for labelled Markov processes
• A Graph Abstract Machine Describing Event Structure Composition
• Probabilistic  -calculus and Quantitative Program Analysis
• Free Choice Petri Nets
• Stochastic lambda calculus and monads of probability distributions
• CONCUR 2004 - Concurrency Theory
• Formal verification of timed properties of randomized distributed algorithms
• Trustworthy Global Computing
• Probabilistic game semantics
• Event Structure Semantics for Nominal Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Probabilistic π-Calculus and Event Structures