WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/esws/RomanKF08, title={WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic}, pages={659-673}, year={2008}, booktitle={ESWC}, ee={http://dx.doi.org/10.1007/978-3-540-68234-9_48}, crossref={DBLP:conf/esws/2008}, url={http://www.informatik.uni-trier.de/~ley/db/conf/esws/eswc2008.html#RomanKF08}, author={Dumitru Roman and Michael Kifer and Dieter Fensel} }\end{bibtex}

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