Graphical Operational Semantics
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland), Carleton Scientific, 2000, pp. 411–418.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Corradini, Andrea;
Heckel, Reiko;
Montanari, Ugo
Department
Publishing Year
Proceedings Title
Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland)
Page
411-418
LibreCat-ID
Cite this
Corradini A, Heckel R, Montanari U. Graphical Operational Semantics. In: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland). Carleton Scientific; 2000:411-418.
Corradini, A., Heckel, R., & Montanari, U. (2000). Graphical Operational Semantics. In Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland) (pp. 411–418). Carleton Scientific.
@inproceedings{Corradini_Heckel_Montanari_2000, title={Graphical Operational Semantics}, booktitle={Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland)}, publisher={Carleton Scientific}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={2000}, pages={411–418} }
Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “Graphical Operational Semantics.” In Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland), 411–18. Carleton Scientific, 2000.
A. Corradini, R. Heckel, and U. Montanari, “Graphical Operational Semantics,” in Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland), 2000, pp. 411–418.
Corradini, Andrea, et al. “Graphical Operational Semantics.” Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland), Carleton Scientific, 2000, pp. 411–18.
Google Scholar