5 citations · 5 across the 3 of their papers we have counts for
3 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…
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…