Radu Mateescu, Gwen Salaün, Lina Ye. Quantifying the parallelism in BPMN processes using model checking. In Lionel Seinturier, Eduardo Almeida, Jan Carlson, editors, CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30 - July 4, 2014. pages 159-168, ACM, 2014. [doi]
Abstract is missing.