A Concurrent System of Multi-ported Processes with Causal Dependency
No abstract available.
Related papers
- The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding POPL 2023
- Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions TACAS 2025
- Executable Counterfactuals: A Causal Calculus for Concurrent Systems (Keynote) GPCE 2026
- Maximum Causal Entropy Specification Inference from Demonstrations CAV 2020
- Synthesis and Analysis of Petri Nets from Causal Specifications CAV 2022
- Using Dependent Types to Port Type Systems to Low-Level Languages CC 2006
- Modeling optimistic concurrency using quantitative dependence analysis PPoPP 2008
- Causal Termination of Multi-threaded Programs CAV 2014