Jorge Lobo, Jiefei Ma, Alessandra Russo, Franck Le. Declarative Distributed Computing. In Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce, editors, Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Volume 7265 of Lecture Notes in Computer Science, pages 454-470, Springer, 2012. [doi]
Abstract is missing.