2007 | ||
---|---|---|
2 | EE | Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner: Matching of Bigraphs. Electr. Notes Theor. Comput. Sci. 175(4): 3-19 (2007) |
2006 | ||
1 | Troels Christoffer Damgaard, Lars Birkedal: Axiomatizing Binding Bigraphs. Nord. J. Comput. 13(1-2): 58-77 (2006) |
1 | Lars Birkedal | [1] [2] |
2 | Arne J. Glenstrup | [2] |
3 | Robin Milner | [2] |