Manuel Núñez, Ismael Rodríguez, Fernando Rubio. A Formal Framework to Reduce Communications in Communication Systems. In Thomas Böhme, Victor Larios-Rosillo, Helena Unger, Herwig Unger, editors, Innovative Internet Community Systems, 4th InternationalWorkshop, IICS 2004, Guadalajara, Mexico, June 21-23, 2004, Revised Papers. Volume 3473 of Lecture Notes in Computer Science, pages 69-80, Springer, 2004. [doi]
Abstract is missing.