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

Radu Mateescu, Pascal Poizat, Gwen Salan

Browse the full ICSOC paper archive.