Causal Unfoldings

DOI10.4230/LIPIcs.CONCUR.2019.11OpenAlexW2970441721MaRDI QIDQ5875372

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)

Related Items (1)

Explicit Identifiers and Contexts in Reversible Concurrent Calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantics of concurrent computation. Proceedings of the international symposium, Evian, France, July 2-4, 1979
• A brief history of process algebra
• Probabilistic event structures and domains
• Event Structures with Symmetry
• Probabilistic π-Calculus and Event Structures
• Process algebra for synchronous communication
• The concurrent game semantics of Probabilistic PCF
• Concurrent Quantum Strategies
• Validation of Stochastic Systems
• Isomorphism theorems between models of mixed choice
• Formal verification of timed properties of randomized distributed algorithms
• Probabilistic and Quantum Event Structures

This page was built for publication: Causal Unfoldings