@article{DMTCS_2021_22_3_a0,
     author = {Bodini, OLivier and Dien, Matthieu and Genitrini, Antoine and Peschanski, Fr\'ed\'eric},
     title = {Quantitative and {Algorithmic} aspects of {Barrier} {Synchronization} in {Concurrency}},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {22},
     number = {3},
     year = {2020-2021},
     doi = {10.46298/dmtcs.5820},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.5820/}
}