| |
In WWW '07: Proceedings of the 16th international conference on World Wide Web (2007), pp. 973-982.
|
| |
In WWW '05: Proceedings of the 14th international conference on World Wide Web (2005), pp. 148-159.
|
| |
In WWW '04: Proceedings of the 13th international conference on World Wide Web (2004), pp. 621-630.
|
| |
Business Process Management (2007), pp. 271-287.
|
| |
Service-Oriented Computing – ICSOC 2007 (2007), pp. 56-68.
|
| |
Formal Techniques in Real-Time and Fault-Tolerant Systems (1994), pp. 19-40.
|
| |
World Wide Web, Vol. 6, No. 1. (1 March 2003), pp. 49-91.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004), Vol. 180, No. 2. (26 June 2007), pp. 55-70.
|
| |
e-Business Engineering, 2006. ICEBE '06. IEEE International Conference on In e-Business Engineering, 2006. ICEBE '06. IEEE International Conference on (2006), pp. 307-314.
|
| |
Formal Methods for Open Object-Based Distributed Systems (2006), pp. 233-250.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Vol. 105 (10 December 2004), pp. 133-145.
|
| |
|
| |
|
| |
|
| |
Journal of Logic and Algebraic Programming In Web Services and Formal Methods, Vol. 70, No. 1. (January 2007), pp. 96-118.
|
| |
On the Move to Meaningful Internet Systems 2005: OTM Workshops (2005), pp. 506-515.
|
| |
Formal Techniques for Computer Systems and Business Processes (2005), pp. 35-50.
|
| |
|
| |
: FM 2005: Formal Methods (2005), pp. 350-365.
|
Search
