DMCA

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

by Paolo Baldan , Andrea Corradini , Ugo Montanari
Venue:IN PROCEEDINGS OF ICALP’98, VOLUME 1443 OF LNCS
Citations:19 - 15 self