Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters. A Formalization of the IWIM Model. In António Porto, Gruia-Catalin Roman, editors, Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings. Volume 1906 of Lecture Notes in Computer Science, pages 267-283, Springer, 2000. [doi]
Abstract is missing.