Resolving Non-determinism in Choreographies
No abstract available.
Related papers
- Deciding choreography realizability POPL 2012
- Alice or Bob?: Process polymorphism in choreographies JFP 2024
- Ozone: Fully Out-of-Order Choreographies ECOOP 2024
- Unification Factoring for Efficient Execution of Logic Programs POPL 1995
- Relax! The Semilenient Core of Choreographic Programming (Functional Pearl) ICFP 2025
- Counterexample Explanation by Learning Small Strategies in Markov Decision Processes CAV 2015
- Non-monotone Fixpoint Iterations to Resolve Second Order Effects CC 1996
- Modular Compilation for Higher-Order Functional Choreographies ECOOP 2023