ServLog: A unifying logical framework for service modeling and contracting

Dumitru Roman, Michael Kifer. ServLog: A unifying logical framework for service modeling and contracting. Semantic Web, 9(2):257-290, 2018. [doi]

Abstract

Abstract is missing.