Denotational Semantics of Nets with Nondeterminism
No abstract available.
Related papers
- Probabilistic Kleene Algebra with Angelic Nondeterminism PLDI 2025
- A semantic model for graphical user interfaces ICFP 2011
- Call-by-need is clairvoyant call-by-value ICFP 2019
- Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice POPL 2023
- Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets TACAS 1999
- A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism TOPLAS 1995
- Extracting total Amb programs from proofs ESOP 2022
- Omnisemantics: Smooth Handling of Nondeterminism TOPLAS 2023