Wehrheim, Heike "Relating state-based and behaviour-oriented subtyping", Nordic Journal of Computing, v.9 n.4, p.405-435, Winter 2002

Languages mentioned

• CSP-OZ-DC {2002}