Jump to : Keyword | Contact | BibTex reference | EndNote reference |

WSFM07

Sidney Rosario, David Kitchin, Albert Benveniste, William and Haar,Stefan Cook, Claude Jard. Event Structure Semantics of ORC. In 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), Brisbane, Australia, October 2007.

Keyword

[ Web services ]

Contact

Albert Benveniste http://www.irisa.fr/distribcom
Claude Jard http://www.irisa.fr/distribcom

BibTex Reference

@InProceedings{WSFM07,
   Author = {Rosario, Sidney and Kitchin, David and Benveniste, Albert and Cook, William    and Haar,Stefan and Jard, Claude},
   Title = {Event Structure Semantics of ORC},
   BookTitle = {{4th International Workshop on Web Services and Formal Methods (WS-FM    2007)}},
   Address = {Brisbane, Australia},
   Month = {October},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)