Publicaciones en las que colabora con Pedro Álvarez Pérez-Aradros (4)

2007

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

    Lecture Notes in Computer Science, 2007, Volume 4457 (Springer), pp. 229-244

  2. Formal Reasoning on a Web Coordination System

    Lecture Notes in Computational Science and Engineering, Vol. 4739 LNCS, pp. 329-336

2004

  1. Towards an efficient rule-based coordination of Web Services.

    Lecture Notes in Computer Science, Vol. 3315, pp. 73-82

2003

  1. Generative communication with semantic matching in distributed heterogeneous environments

    Lecture Notes in Computer Science, Vol. 2809, pp. 231-242