5 citations · 8 across the 6 of their papers we have counts for
7 papers
Modal Algebra of Multirelations
Hitoshi Furusawa, Walter Guttmann, Georg Struth
We formalise the modal operators from the concurrent dynamic logics of Peleg, Nerode and Wijesekera in a multirelational algebraic language based on relation algebra and power alle…
Determinism of Multirelations
Hitoshi Furusawa, Walter Guttmann, Georg Struth
Binary multirelations can model alternating nondeterminism, for instance, in games or nondeterministically evolving systems interacting with an environment. Such systems can show p…
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…
Relational Characterisations of Paths
Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann +1
Binary relations are one of the standard ways to encode, characterise and reason about graphs. Relation algebras provide equational axioms for a large fragment of the calculus of b…
Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth +1
Multirelations provide a semantic domain for computing systems that involve two dual kinds of nondeterminism. This paper presents relational formalisations of Kleisli, Parikh and P…
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…
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…