Unifying Denotational Semantics with Operational Semantics for Web Services.

Huibiao Zhu, Jifeng He, Jing Li

Browse the full ICDCIT paper archive.