{"department":[{"_id":"77"}],"type":"journal_article","date_created":"2018-06-14T06:49:57Z","citation":{"ieee":"H. Wehrheim, “Behavioral Subtyping Relations for Active Objects,” <i>Formal Methods in System Design</i>, no. 2, pp. 143--170, 2003.","apa":"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>","chicago":"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>.","short":"H. Wehrheim, Formal Methods in System Design (2003) 143--170.","mla":"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>.","bibtex":"@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} }","ama":"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>"},"publication":"Formal Methods in System Design","issue":"2","doi":"10.1023/A:1024764232069","user_id":"29719","_id":"3236","page":"143--170","date_updated":"2022-01-06T06:59:06Z","author":[{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"title":"Behavioral Subtyping Relations for Active Objects","status":"public","year":"2003"}