Algebraic Modeling and Verification of Web Service Composition

Gopal N. Rai, G. R. Gangadharan, Vineet Padmanabhan. Algebraic Modeling and Verification of Web Service Composition. In Elhadi M. Shakshuki, editor, Proceedings of the 6th International Conference on Ambient Systems, Networks and Technologies (ANT 2015), the 5th International Conference on Sustainable Energy Information Technology (SEIT-2015), London, UK, June 2-5, 2015. Volume 52 of Procedia Computer Science, pages 675-679, Elsevier, 2015. [doi]

Authors

Gopal N. Rai

This author has not been identified. Look up 'Gopal N. Rai' in Google

G. R. Gangadharan

This author has not been identified. Look up 'G. R. Gangadharan' in Google

Vineet Padmanabhan

This author has not been identified. Look up 'Vineet Padmanabhan' in Google