Home

Dumitru Roman, Michael Kifer (vldb, 2007, research)

Reasoning about the behavior of Semantic Web services with concurrent transaction logic

dbs.uni-leipzig.de/david