article Heike Wehrheim author 77 department 2003 10.1023/A:1024764232069 2143--170 H. Wehrheim, “Behavioral Subtyping Relations for Active Objects,” <i>Formal Methods in System Design</i>, no. 2, pp. 143--170, 2003. Wehrheim, H. (2003). Behavioral Subtyping Relations for Active Objects. <i>Formal Methods in System Design</i>, (2), 143--170. <a href="https://doi.org/10.1023/A:1024764232069">https://doi.org/10.1023/A:1024764232069</a> H. Wehrheim, Formal Methods in System Design (2003) 143--170. Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.” <i>Formal Methods in System Design</i>, no. 2 (2003): 143--170. <a href="https://doi.org/10.1023/A:1024764232069">https://doi.org/10.1023/A:1024764232069</a>. Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.” <i>Formal Methods in System Design</i>, no. 2, 2003, pp. 143--170, doi:<a href="https://doi.org/10.1023/A:1024764232069">10.1023/A:1024764232069</a>. @article{Wehrheim_2003, title={Behavioral Subtyping Relations for Active Objects}, DOI={<a href="https://doi.org/10.1023/A:1024764232069">10.1023/A:1024764232069</a>}, number={2}, journal={Formal Methods in System Design}, author={Wehrheim, Heike}, year={2003}, pages={143--170} } Wehrheim H. Behavioral Subtyping Relations for Active Objects. <i>Formal Methods in System Design</i>. 2003;(2):143--170. doi:<a href="https://doi.org/10.1023/A:1024764232069">10.1023/A:1024764232069</a> 32362018-06-14T06:49:57Z2022-01-06T06:59:06Z