Concatenable graph processes: relating processes and derivation traces (1998)

by P Baldan, A Corradini, U Montanari
Venue:In Proceedings of ICALP’98, volume 1443 of LNCS