| |
In WWW '08: Proceeding of the 17th international conference on World Wide Web (2008), pp. 785-794.
|
| |
Sci. Comput. Program., Vol. 67, No. 2-3. (2007), pp. 162-198.
|
| |
Information and Software Technology, Vol. 50, No. 3. (February 2008), pp. 131-159.
|
| |
Web Services and Formal Methods (2008), pp. 77-91.
|
| |
On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE (2006), pp. 127-144.
|
| |
Web Services and Formal Methods (2008), pp. 154-168.
|
| |
Information Systems, Vol. In Press, Corrected Proof
|
| |
Services Computing, 2008. SCC '08. IEEE International Conference on In Services Computing, 2008. SCC '08. IEEE International Conference on, Vol. 2 (2008), pp. 367-376.
|
| |
Service-Oriented Computing – ICSOC 2006 (2006), pp. 27-39.
|
| |
Web Services and Formal Methods (2006), pp. 107-122.
|
| |
Journal of Logic and Algebraic Programming In Web Services and Formal Methods, Vol. 70, No. 1. (January 2007), pp. 96-118.
|
| |
Software Engineering, IEEE Transactions on, Vol. 33, No. 6. (2007), pp. 369-384.
|
| |
Service-Oriented Computing – ICSOC 2007 (2007), pp. 582-593.
|
| |
scc, Vol. 1 (2005), pp. 181-190.
|
Search
