{"series_title":"Electronic Notes in Theoretical Computer Science","type":"conference","date_updated":"2022-01-06T07:03:53Z","publication":"Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal)","language":[{"iso":"eng"}],"title":"Structured Transition Systems as Lax Coalgebras","_id":"8281","department":[{"_id":"66"}],"volume":11,"user_id":"52534","citation":{"ieee":"A. Corradini, M. Große-Rhode, and R. Heckel, “Structured Transition Systems as Lax Coalgebras,” in Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), 1998, vol. 11.","mla":"Corradini, Andrea, et al. “Structured Transition Systems as Lax Coalgebras.” Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), vol. 11, Elsevier, 1998.","ama":"Corradini A, Große-Rhode M, Heckel R. Structured Transition Systems as Lax Coalgebras. In: Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal). Vol 11. Electronic Notes in Theoretical Computer Science. Elsevier; 1998.","apa":"Corradini, A., Große-Rhode, M., & Heckel, R. (1998). Structured Transition Systems as Lax Coalgebras. In Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal) (Vol. 11). Elsevier.","bibtex":"@inproceedings{Corradini_Große-Rhode_Heckel_1998, series={Electronic Notes in Theoretical Computer Science}, title={Structured Transition Systems as Lax Coalgebras}, volume={11}, booktitle={Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal)}, publisher={Elsevier}, author={Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}, year={1998}, collection={Electronic Notes in Theoretical Computer Science} }","chicago":"Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “Structured Transition Systems as Lax Coalgebras.” In Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), Vol. 11. Electronic Notes in Theoretical Computer Science. Elsevier, 1998.","short":"A. Corradini, M. Große-Rhode, R. Heckel, in: Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), Elsevier, 1998."},"date_created":"2019-03-04T12:25:48Z","status":"public","intvolume":" 11","year":"1998","publisher":"Elsevier","author":[{"last_name":"Corradini","full_name":"Corradini, Andrea","first_name":"Andrea"},{"first_name":"Martin","full_name":"Große-Rhode, Martin","last_name":"Große-Rhode"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"}]}