








































|
 |
|
Automatic Composition of Transition-based Semantic Web Services with Messaging
|
 |
Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo,
Richard Hull, and
Massimo Mecella
View Paper (PDF)
Return to Research Session 17: Correctness and Performance

©2006 Association for Computing Machinery
|