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

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)