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

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/vldb/RomanK07, title={Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic}, pages={627-638}, year={2007}, crossref={DBLP:conf/vldb/2007}, booktitle={VLDB}, ee={http://www.vldb.org/conf/2007/papers/research/p627-roman.pdf}, url={http://www.informatik.uni-trier.de/~ley/db/conf/vldb/vldb2007.html#RomanK07}, author={Dumitru Roman and Michael Kifer} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Reasoning_about_the_Behavior_of_Semantic_Web_Services_with_Concurrent_Transaction_Logic"
Personal tools