Spatial Logics for Bigraphs, (2005)

by G Conforti, D Macedonio, V Sassone