Wsmo choreography: from abstract state machines to concurrent transaction logic
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|wsmo choreography: from abstract state machines to concurrent transaction logic }}
- [[]]
bibtex
{{#vardefine:pagename|Wsmo choreography: from abstract state machines to concurrent transaction logic }}{{#vardefine:key| }}
abstract:
download:
- paper:
- slides:
Facts about Wsmo choreography: from abstract state machines to concurrent transaction logicRDF feed
| Author | Dumitru Roman +, Michael Kifer +, and Dieter Fensel + |
| Bibtype | inproceedings + |
| Booktitle | ESWC + |
| Doi | http://dx.doi.org/10.1007/978-3-540-68234-9_48 + |
| Key | dblp:conf/esws/romankf08 + |
| Pages | 659-673 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/esws/RomanKF08 + |
| Tag | Computer science + |
| Title | WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic + |
| Year | 2008 + |

