Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic.

Dumitru Roman, Michael Kifer

Browse the full VLDB paper archive.