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

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar