Formal Modelling of a Coordination System: From Practice to Theory, and Back Again

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]

Authors

Eloy J. Mata

This author has not been identified. Look up 'Eloy J. Mata' in Google

Pedro Álvarez

This author has not been identified. Look up 'Pedro Álvarez' in Google

José A. Bañares

This author has not been identified. Look up 'José A. Bañares' in Google

Julio Rubio

This author has not been identified. Look up 'Julio Rubio' in Google