Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio. Formal Modelling of a Coordination System: From Practice to Theory, and Back Again. In Gregory M. P. O Hare, Alessandro Ricci, Michael J. O Grady, Oguz Dikenelli, editors, Engineering Societies in the Agents World VII, 7th International Workshop, ESAW 2006, Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers. Volume 4457 of Lecture Notes in Computer Science, pages 229-244, Springer, 2006. [doi]
Abstract is missing.