Causal Unfoldings
From MaRDI portal
Publication:5875372
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
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)
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)