Pascal Poizat, Gwen Salaün. Checking the realizability of BPMN 2.0 choreographies. In Sascha Ossowski, Paola Lecca, editors, Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012. pages 1927-1934, ACM, 2012. [doi]
Abstract is missing.