Formal Modelling of a Coordination System: from Practice to Theory, and back again

Autor: Mata Sotés, Eloy Javier; Alvarez, Pedro; Bañares, José A.; Rubio García, Julio

Tipo de documento: Capítulo de libro

Libro: Lecture Notes in Computer Science, 2007, Volume 4457

Año: 2007  Páginas: 229-244

 Texto completo open access