Probabilistic π-Calculus and Event Structures

DOI10.1016/j.entcs.2007.07.009zbMath1279.68269MaRDI 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\)-calculus; event structures; probabilistic processes; linear types

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

Related Items

Behavioural equivalences of a probabilistic pi-calculus, Typed event structures and the linear \(\pi \)-calculus, Bayesian strategies: probabilistic programs as generalised graphical models

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