Publications in collaboration with researchers from Instituto de Investigación en Informática de Albacete (1)

2012

  1. A centralized and a decentralized method to automatically derive choreography-conforming web service systems

    Journal of Logic and Algebraic Programming