An Operational Semantics of BPMN Collaboration

Flavio Corradini, Andrea Polini, Barbara Re, Francesco Tiezzi. An Operational Semantics of BPMN Collaboration. In Christiano Braga, Peter Csaba Ölveczky, editors, Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Volume 9539 of Lecture Notes in Computer Science, pages 161-180, Springer, 2015. [doi]

@inproceedings{CorradiniPRT15,
  title = {An Operational Semantics of BPMN Collaboration},
  author = {Flavio Corradini and Andrea Polini and Barbara Re and Francesco Tiezzi},
  year = {2015},
  doi = {10.1007/978-3-319-28934-2_9},
  url = {http://dx.doi.org/10.1007/978-3-319-28934-2_9},
  researchr = {https://researchr.org/publication/CorradiniPRT15},
  cites = {0},
  citedby = {0},
  pages = {161-180},
  booktitle = {Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers},
  editor = {Christiano Braga and Peter Csaba Ölveczky},
  volume = {9539},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-28933-5},
}