Publicaciones en las que colabora con José Angel Bañares Bañares (5)

2011

  1. Control And Data Flow Compatibility In The Interaction Between Dynamic Business Processes

    Concurrency Computation Practice and Experience, Vol. 23, Núm. 1, pp. 57-85

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