Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi. Type Systems for Bigraphs. In Christos Kaklamanis, Flemming Nielson, editors, Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers. Volume 5474 of Lecture Notes in Computer Science, pages 126-140, Springer, 2008. [doi]
Abstract is missing.