Linking denotational semantics with operational semantics for web services

Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen. Linking denotational semantics with operational semantics for web services. ISSE, 6(4):283-298, 2010. [doi]

Abstract

Abstract is missing.