Andrea Corradini, Reiko Heckel, Ugo Montanari. Graphical Operational Semantics. In Ugo Montanari, José D. P. Rolim, Emo Welzl, editors, Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings. Volume 1853 of Lecture Notes in Computer Science, pages 411-418, Springer, 2000.
@inproceedings{CorradiniHM00,
title = {Graphical Operational Semantics},
author = {Andrea Corradini and Reiko Heckel and Ugo Montanari},
year = {2000},
tags = {semantics, operational semantics},
researchr = {https://researchr.org/publication/CorradiniHM00},
cites = {0},
citedby = {0},
pages = {411-418},
booktitle = {Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
editor = {Ugo Montanari and José D. P. Rolim and Emo Welzl},
volume = {1853},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67715-1},
}