@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}
}