papers
Publications (4)
cs.LO2017
Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth +1
cs.LO2018
Relational Characterisations of Paths
Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann +1
cs.LO2014
Concurrent Dynamic Algebra
Hitoshi Furusawa, Georg Struth
cs.LO2015
Taming Multirelations
Hitoshi Furusawa, Georg Struth