Matching of bigraphs (2006)

by L Birkedal, T C Damgaard, A J Glenstrup, R Milner
Venue:Electronic Notes in Theoretical Computer Science 175 (4) (2007) 3 – 19, Proceedings of the Workshop on Graph Transformation for Concurrency and Verification (GT-VC