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]

Authors

Dumitru Roman

This author has not been identified. Look up 'Dumitru Roman' in Google

Michael Kifer

This author has not been identified. Look up 'Michael Kifer' in Google