Causal Unfoldings

DOI10.4230/LIPICS.CONCUR.2019.11MaRDI QIDQ5875372zbMATH OpenOpenAlexFDO

Authors Marc de Visme

Publication date 3 February 2023

Full work available at URL https://hal.science/hal-02863476

zbMATH Keywords

probabilityconcurrencynondeterminismevent structuresCCS

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4182807
• An event structure model for probabilistic concurrent Kleene algebra
• CONCUR 2004 - Concurrency Theory
• True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
• Probabilistic event structures and domains

Cites work

• scientific article; zbMATH DE number 3986626 (Why is no real title available?)
• scientific article; zbMATH DE number 3651760 (Why is no real title available?)
• scientific article; zbMATH DE number 1231591 (Why is no real title available?)
• scientific article; zbMATH DE number 1512615 (Why is no real title available?)
• A brief history of process algebra
• Concurrent quantum strategies
• Event structures with symmetry
• Formal verification of timed properties of randomized distributed algorithms
• Isomorphism theorems between models of mixed choice
• Probabilistic \(\pi\)-calculus and event structures
• Probabilistic and quantum event structures
• Probabilistic event structures and domains
• Process algebra for synchronous communication
• Semantics of concurrent computation. Proceedings of the international symposium, Evian, France, July 2-4, 1979
• The concurrent game semantics of probabilistic PCF
• Validation of Stochastic Systems

Cited in

(2)

• Explicit Identifiers and Contexts in Reversible Concurrent Calculus
• Partial Orders, Event Structures and Linear Strategies

This page was built for publication: Causal Unfoldings

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