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
; ;
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.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar