Causal Unfoldings

DOI10.4230/LIPICS.CONCUR.2019.11OpenAlexW2970441721MaRDI QIDQ5875372FDOQ5875372

Authors: Marc de Visme 

Publication date: 3 February 2023

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

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

zbMATH Keywords

probabilityconcurrencynondeterminismevent structuresCCS

Mathematics Subject Classification ID

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

Cites Work

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

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)