Spatial Logics for Bigraphs

Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone. Spatial Logics for Bigraphs. In Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung, editors, Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings. Volume 3580 of Lecture Notes in Computer Science, pages 766-778, Springer, 2005. [doi]

Authors

Giovanni Conforti

This author has not been identified. Look up 'Giovanni Conforti' in Google

Damiano Macedonio

This author has not been identified. Look up 'Damiano Macedonio' in Google

Vladimiro Sassone

Identified as Vladimiro Sassone