Francesco Luca De Angelis, Giovanna Di Marzo Serugendo. A Logic Language for Run Time Assessment of Spatial Properties in Self-Organizing Systems. In 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASO Workshops 2015, Cambridge, MA, USA, September 21-25, 2015. pages 86-91, IEEE Computer Society, 2015. [doi]
Abstract is missing.