Matching of bigraphs, (2007)

by L Birkedal, T Damgaard, A Glenstrup, R Milner
Venue:Electron. Notes Theor. Comput. Sci.