@article{DBLP:journals/fmsd/PaniWZ20, author = {Thomas Pani and Georg Weissenbacher and Florian Zuleger}, title = {Rely-Guarantee Bound Analysis of Parameterized Concurrent Shared-Memory Programs}, year = {2020}, note = {under submission}, keywords = {"tmca"} }