Axioms for contextual net processes (0)

by F Gadducci, U Montanari
Venue:Colloquium on Automata, Languages and Programming, volume 1443 of Lecture Notes in Computer Science