Radu Mardare, Alberto Policriti. A Complete Axiomatic System for a Process-Based Spatial Logic. In Edward Ochmanski, Jerzy Tyszkiewicz, editors, Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings. Volume 5162 of Lecture Notes in Computer Science, pages 491-502, Springer, 2008. [doi]
Abstract is missing.