DMCA

Open bisimulation, revisited (2006)

by Sébastien Briais , Uwe Nestmann
Citations:1 - 0 self