Web Service Interaction Modeling and Verification Using Recursive Composition Algebra

Gopal N. Rai, G. R. Gangadharan, Vineet Padmanabhan, Rajkumar Buyya. Web Service Interaction Modeling and Verification Using Recursive Composition Algebra. IEEE T. Services Computing, 14(1):300-314, 2021. [doi]

Abstract

Abstract is missing.