{"intvolume":"       260","status":"public","year":"2001","author":[{"first_name":"Andrea","last_name":"Corradini","full_name":"Corradini, Andrea"},{"first_name":"Martin","full_name":"Große-Rhode, Martin","last_name":"Große-Rhode"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}],"department":[{"_id":"66"}],"_id":"7394","title":"A Coalgebraic presentation of structured transition systems","volume":260,"citation":{"chicago":"Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “A Coalgebraic Presentation of Structured Transition Systems.” <i>Theoretical Computer Science</i> 260, no. 1–2 (2001): 27–55. <a href=\"http://dx.doi.org/10.1016/S0304-3975(00)00121-3\">http://dx.doi.org/10.1016/S0304-3975(00)00121-3</a>.","short":"A. Corradini, M. Große-Rhode, R. Heckel, Theoretical Computer Science 260 (2001) 27–55.","apa":"Corradini, A., Große-Rhode, M., &#38; Heckel, R. (2001). A Coalgebraic presentation of structured transition systems. <i>Theoretical Computer Science</i>, <i>260</i>(1–2), 27–55. <a href=\"http://dx.doi.org/10.1016/S0304-3975(00)00121-3\">http://dx.doi.org/10.1016/S0304-3975(00)00121-3</a>","bibtex":"@article{Corradini_Große-Rhode_Heckel_2001, title={A Coalgebraic presentation of structured transition systems}, volume={260}, DOI={<a href=\"http://dx.doi.org/10.1016/S0304-3975(00)00121-3\">http://dx.doi.org/10.1016/S0304-3975(00)00121-3</a>}, number={1–2}, journal={Theoretical Computer Science}, author={Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}, year={2001}, pages={27–55} }","ama":"Corradini A, Große-Rhode M, Heckel R. A Coalgebraic presentation of structured transition systems. <i>Theoretical Computer Science</i>. 2001;260(1-2):27-55. doi:<a href=\"http://dx.doi.org/10.1016/S0304-3975(00)00121-3\">http://dx.doi.org/10.1016/S0304-3975(00)00121-3</a>","mla":"Corradini, Andrea, et al. “A Coalgebraic Presentation of Structured Transition Systems.” <i>Theoretical Computer Science</i>, vol. 260, no. 1–2, 2001, pp. 27–55, doi:<a href=\"http://dx.doi.org/10.1016/S0304-3975(00)00121-3\">http://dx.doi.org/10.1016/S0304-3975(00)00121-3</a>.","ieee":"A. Corradini, M. Große-Rhode, and R. Heckel, “A Coalgebraic presentation of structured transition systems,” <i>Theoretical Computer Science</i>, vol. 260, no. 1–2, pp. 27–55, 2001."},"user_id":"52534","date_created":"2019-01-31T15:42:22Z","language":[{"iso":"eng"}],"issue":"1-2","doi":"http://dx.doi.org/10.1016/S0304-3975(00)00121-3","page":"27-55","publication":"Theoretical Computer Science","date_updated":"2022-01-06T07:03:36Z","type":"journal_article"}