@inproceedings{BDGP19, author = {O. Bodini and M. Dien and A. Genitrini and F. Peschanski}, title = {The Combinatorics of Barrier Synchronization}, booktitle = {Proceedings of the 40th International Conference on Application and Theory of Petri Nets and Concurrency, {PETRI} {NETS} 2019}, pages = {386--405}, year = {2019}, doi = {10.1007/978-3-030-21571-2\_21} }