1 citations · 3 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…