Checking Behavioural Subtypes via Refinement Wehrheim, Heike Jacobs, Bart Rensink, Arend 2002 info:eu-repo/semantics/conferenceObject doc-type:conferenceObject text http://purl.org/coar/resource_type/c_5794 https://ris.uni-paderborn.de/record/3243 Wehrheim H. Checking Behavioural Subtypes via Refinement. In: Jacobs B, Rensink A, eds. <i>Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands</i>. {IFIP} Conference Proceedings. ; 2002:79--93. info:eu-repo/semantics/closedAccess