Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques.

Radu Mateescu Pascal Poizat Gwen Salaün Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. 84-99 2008 ICSOC http://dx.doi.org/10.1007/978-3-540-89652-4_10 conf/icsoc/2008 db/conf/icsoc/icsoc2008.html#MateescuPS08