Journal article

Web Service Interaction Modeling and Verification Using Recursive Composition Algebra

GN Rai, GR Gangadharan, V Padmanabhan, R Buyya

IEEE Transactions on Services Computing | Published : 2018