15 citations · 34 across the 10 of their papers we have counts for
1 paper · 1 filter
Natsuki Urabe, Ichiro Hasuo
Kleisli simulation is a categorical notion introduced by Hasuo to verify finite trace inclusion. They allow us to give definitions of forward and backward simulation for various ty…