1 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2023★ 1 cited
On the Inner Structure of Multirelations
Hitoshi Furusawa, Walter Guttmann, Georg Struth
Binary multirelations form a model of alternating nondeterminism useful for analysing games, interactions of computing systems with their environments or abstract interpretations o…
cs.LO2015★ 1 cited
Taming Multirelations
Hitoshi Furusawa, Georg Struth
Binary multirelations generalise binary relations by associating elements of a set to its subsets. We study the structure and algebra of multirelations under the operations of unio…
cs.LO2014★ 1 cited
Concurrent Dynamic Algebra
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…