10 citations · 27 across the 12 of their papers we have counts for
1 paper · 1 filter
Adam Bjorndahl
This paper proposes new semantics for nondeterministic program execution, replacing the standard relational semantics for propositional dynamic logic (PDL). Under these new semanti…