Instituto de Tecnología del Conocimiento (ITC)
Zentrum/Institut
Gregorio
Diaz Descalzo
Publikationen, an denen er mitarbeitet Gregorio Diaz Descalzo (5)
2016
-
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
-
Contract compliance monitoring of web services
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
-
Improving the automatic derivation of choreography-conforming web services systems
Procedia Computer Science
2009
-
Automatically deriving choreography-conforming systems of services
SCC 2009 - 2009 IEEE International Conference on Services Computing
-
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)