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