WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic

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]

Authors

Dumitru Roman

This author has not been identified. Look up 'Dumitru Roman' in Google

Michael Kifer

This author has not been identified. Look up 'Michael Kifer' in Google

Dieter Fensel

This author has not been identified. Look up 'Dieter Fensel' in Google