A Formal Semantics for the Business Process Execution Language for Web Services

Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi. A Formal Semantics for the Business Process Execution Language for Web Services. In Savitri Bevinakoppa, Luís Ferreira Pires, Slimane Hammoudi, editors, Web Services and Model-Driven Enterprise Information Services, Proceedings of the Joint Workshop on Web Services and Model-Driven Enterprise Information Services, WSMDEIS 2005, In conjunction with ICEIS 2005, Miami, USA, May 2005. pages 122-133, INSTICC Press, 2005.

@inproceedings{FarahbodGV05:0,
  title = {A Formal Semantics for the Business Process Execution Language for Web Services},
  author = {Roozbeh Farahbod and Uwe Glässer and Mona Vajihollahi},
  year = {2005},
  tags = {semantics, formal semantics, web service, web services},
  researchr = {https://researchr.org/publication/FarahbodGV05%3A0},
  cites = {0},
  citedby = {0},
  pages = {122-133},
  booktitle = {Web Services and Model-Driven Enterprise Information Services, Proceedings of the Joint Workshop on Web Services and Model-Driven Enterprise Information Services, WSMDEIS 2005, In conjunction with ICEIS 2005, Miami, USA, May 2005},
  editor = {Savitri Bevinakoppa and Luís Ferreira Pires and Slimane Hammoudi},
  publisher = {INSTICC Press},
  isbn = {972-8865-27-9},
}