A Rewriting Calculus for Multigraphs with Ports., in (0)

by O Andrei, H Kirchner
Venue:Proceedings of RULE’07, Electronic Notes in Theoretical Computer Science