Graphical Operational Semantics - Corradini, Andrea; Heckel, Reiko; Montanari, Ugo (Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland))