Dumitru Roman, Michael Kifer, Dieter Fensel. WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic. In Sean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, Manolis Koubarakis, editors, The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings. Volume 5021 of Lecture Notes in Computer Science, pages 659-673, Springer, 2008. [doi]
Abstract is missing.