Publications by the researcher in collaboration with Gregorio Diaz Descalzo (5)

2016

  1. The simulation relation for formal E-Contracts

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2013

  1. Contract compliance monitoring of web services

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2009

  1. Automatically deriving choreography-conforming systems of services

    SCC 2009 - 2009 IEEE International Conference on Services Computing

  2. Checking the conformance of orchestrations with respect to choreographies in web services: A formal approach

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)