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. IEEE Trans. Software Eng., 38(4):755-777, 2012. [doi]

Abstract

Abstract is missing.