Ken Q. Pu. Service Description and Analysis From a Type Theoretic Approach. In Proceedings of the 23rd International Conference on Data Engineering, ICDE 2007, April 15-20, 2007, The Marmara Hotel, Istanbul, Turkey. pages 379-386, IEEE, 2007. [doi]
Abstract is missing.