A Coalgebraic presentation of structured transition systems
A. Corradini, M. Große-Rhode, R. Heckel, Theoretical Computer Science 260 (2001) 27–55.
Download
No fulltext has been uploaded.
Journal Article
| English
Author
Corradini, Andrea;
Große-Rhode, Martin;
Heckel, Reiko
Department
Publishing Year
Journal Title
Theoretical Computer Science
Volume
260
Issue
1-2
Page
27-55
LibreCat-ID
Cite this
Corradini A, Große-Rhode M, Heckel R. A Coalgebraic presentation of structured transition systems. Theoretical Computer Science. 2001;260(1-2):27-55. doi:http://dx.doi.org/10.1016/S0304-3975(00)00121-3
Corradini, A., Große-Rhode, M., & Heckel, R. (2001). A Coalgebraic presentation of structured transition systems. Theoretical Computer Science, 260(1–2), 27–55. http://dx.doi.org/10.1016/S0304-3975(00)00121-3
@article{Corradini_Große-Rhode_Heckel_2001, title={A Coalgebraic presentation of structured transition systems}, volume={260}, DOI={http://dx.doi.org/10.1016/S0304-3975(00)00121-3}, number={1–2}, journal={Theoretical Computer Science}, author={Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}, year={2001}, pages={27–55} }
Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “A Coalgebraic Presentation of Structured Transition Systems.” Theoretical Computer Science 260, no. 1–2 (2001): 27–55. http://dx.doi.org/10.1016/S0304-3975(00)00121-3.
A. Corradini, M. Große-Rhode, and R. Heckel, “A Coalgebraic presentation of structured transition systems,” Theoretical Computer Science, vol. 260, no. 1–2, pp. 27–55, 2001.
Corradini, Andrea, et al. “A Coalgebraic Presentation of Structured Transition Systems.” Theoretical Computer Science, vol. 260, no. 1–2, 2001, pp. 27–55, doi:http://dx.doi.org/10.1016/S0304-3975(00)00121-3.
Google Scholar