C. Briscoe-Smith

Learn More
We consider how the OO notion of subtyping relates to lotos testing theory. In particular, we investigate which of the standard lotos preorders is a suitable instantiation of behavioural subtyping and argue that each of the main preorders, trace preorder, trace extension, reduction and extension, is in some way deecient. Then, in the light of pre and post(More)
  • 1