ISMAEL
RODRÍGUEZ LAGUNA
Profesor titular de universidad
![Foto de Gregorio](/img/nophoto.png)
Gregorio
Diaz Descalzo
Publicaciones en las que colabora con Gregorio Diaz Descalzo (3)
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)