DBLP:conf/esws/RomanKF08

From Tetherless World Wiki

WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic +  Has identifier

DBLP:conf/esws/RomanKF08

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 + redirect page  WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic + Categories  Proceeding Paper +

 

Enter the name of the page to start browsing from.