{"volume":280,"doi":"http://dx.doi.org/10.1016/S0304-3975(01)00025-1","user_id":"52534","citation":{"ama":"Corradini A, Heckel R, Montanari U. Compositional SOS and Beyond: A Coalgebraic View of Open Systems. Theoretical Computer Science. 2002;280(1-2):163-192. doi:http://dx.doi.org/10.1016/S0304-3975(01)00025-1","bibtex":"@article{Corradini_Heckel_Montanari_2002, title={Compositional SOS and Beyond: A Coalgebraic View of Open Systems}, volume={280}, DOI={http://dx.doi.org/10.1016/S0304-3975(01)00025-1}, number={1–2}, journal={Theoretical Computer Science}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={2002}, pages={163–192} }","chicago":"Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “Compositional SOS and Beyond: A Coalgebraic View of Open Systems.” Theoretical Computer Science 280, no. 1–2 (2002): 163–92. http://dx.doi.org/10.1016/S0304-3975(01)00025-1.","short":"A. Corradini, R. Heckel, U. Montanari, Theoretical Computer Science 280 (2002) 163–192.","ieee":"A. Corradini, R. Heckel, and U. Montanari, “Compositional SOS and Beyond: A Coalgebraic View of Open Systems,” Theoretical Computer Science, vol. 280, no. 1–2, pp. 163–192, 2002.","apa":"Corradini, A., Heckel, R., & Montanari, U. (2002). Compositional SOS and Beyond: A Coalgebraic View of Open Systems. Theoretical Computer Science, 280(1–2), 163–192. http://dx.doi.org/10.1016/S0304-3975(01)00025-1","mla":"Corradini, Andrea, et al. “Compositional SOS and Beyond: A Coalgebraic View of Open Systems.” Theoretical Computer Science, vol. 280, no. 1–2, 2002, pp. 163–92, doi:http://dx.doi.org/10.1016/S0304-3975(01)00025-1."},"department":[{"_id":"66"}],"date_created":"2019-01-31T15:40:17Z","title":"Compositional SOS and Beyond: A Coalgebraic View of Open Systems","publication":"Theoretical Computer Science","issue":"1-2","type":"journal_article","page":"163-192","year":"2002","intvolume":" 280","_id":"7390","language":[{"iso":"eng"}],"author":[{"first_name":"Andrea","last_name":"Corradini","full_name":"Corradini, Andrea"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"first_name":"Ugo","full_name":"Montanari, Ugo","last_name":"Montanari"}],"status":"public","date_updated":"2022-01-06T07:03:36Z"}