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