Travelled to:
1 × Austria
Collaborated with:
M.Kifer
Talks about:
transact (1) behavior (1) concurr (1) servic (1) semant (1) reason (1) logic (1) about (1) web (1)
Person: Dumitru Roman
DBLP: Roman:Dumitru
Contributed to:
Wrote 1 papers:
- VLDB-2007-RomanK #behaviour #concurrent #logic #reasoning #semantics #transaction #web #web service
- Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic (DR, MK), pp. 627–638.