Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott. Toward Distributed Declarative Control of Networked Cyber-Physical Systems. In Zhiwen Yu, Ramiro Liscano, Guanling Chen, Daqing Zhang, Xingshe Zhou, editors, Ubiquitous Intelligence and Computing - 7th International Conference, UIC 2010, Xi an, China, October 26-29, 2010. Proceedings. Volume 6406 of Lecture Notes in Computer Science, pages 397-413, Springer, 2010. [doi]
Abstract is missing.