Open bisimulation, revisited
β
SΓ©bastien Briais; Uwe Nestmann
π
Article
π
2007
π
Elsevier Science
π
English
β 582 KB