Paolo Baldan, Andrea Corradini, Ugo Montanari. Concatenable Graph Processes: Relating Processes and Derivation Traces. In Kim Guldstrand Larsen, Sven Skyum, Glynn Winskel, editors, Automata, Languages and Programming, 25th International Colloquium, ICALP 98, Aalborg, Denmark, July 13-17, 1998, Proceedings. Volume 1443 of Lecture Notes in Computer Science, pages 283-295, Springer, 1998. [doi]
Abstract is missing.