5 citations · 8 across the 6 of their papers we have counts for
1 paper · 1 filter
Hitoshi Furusawa, Georg Struth
We reconstruct Peleg's concurrent dynamic logic in the context of modal Kleene algebras. We explore the algebraic structure of its multirelational semantics and develop an abstract…