Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques | Publicación