DBLP:conf/esws/RomanKF08 + redirect page
WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic + Has identifier
| WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic |
Has publishing details
pp. 659-673, 2008
Has title
WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/esws/eswc2008.html#RomanKF08
Has where published
ESWC
Has year
2008
Has author
Dumitru Roman +, Michael Kifer +, Dieter Fensel +
Has identifier
WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic +
Categories Proceeding Paper +
|
