From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99), Elsevier, Amsterdam, The Netherlands, 1999, pp. 118–141.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Corradini, Andrea;
Heckel, Reiko;
Montanari, Ugo
Department
Publishing Year
Proceedings Title
Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99)
forms.conference.field.series_title_volume.label
Electronic Notes in TCS
Volume
19
Page
118-141
LibreCat-ID
Cite this
Corradini A, Heckel R, Montanari U. From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. In: Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99). Vol 19. Electronic Notes in TCS. Amsterdam, The Netherlands: Elsevier; 1999:118-141. doi:http://dx.doi.org/10.1016/S1571-0661(05)80273-7
Corradini, A., Heckel, R., & Montanari, U. (1999). From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. In Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99) (Vol. 19, pp. 118–141). Amsterdam, The Netherlands: Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80273-7
@inproceedings{Corradini_Heckel_Montanari_1999, place={Amsterdam, The Netherlands}, series={Electronic Notes in TCS}, title={From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence}, volume={19}, DOI={http://dx.doi.org/10.1016/S1571-0661(05)80273-7}, booktitle={Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99)}, publisher={Elsevier}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={1999}, pages={118–141}, collection={Electronic Notes in TCS} }
Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.” In Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99), 19:118–41. Electronic Notes in TCS. Amsterdam, The Netherlands: Elsevier, 1999. http://dx.doi.org/10.1016/S1571-0661(05)80273-7.
A. Corradini, R. Heckel, and U. Montanari, “From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence,” in Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99), 1999, vol. 19, pp. 118–141.
Corradini, Andrea, et al. “From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.” Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99), vol. 19, Elsevier, 1999, pp. 118–41, doi:http://dx.doi.org/10.1016/S1571-0661(05)80273-7.
Google Scholar