Spatial Logics for Bigraphs.

Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone

Browse the full ICALP paper archive.