Martín López Nores, Jorge García Duque, José J. Pazos Arias. Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements. In Paolo Ciancarini, Herbert Wiklicky, editors, Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Volume 4038 of Lecture Notes in Computer Science, pages 164-178, Springer, 2006. [doi]
Abstract is missing.