Guessing the Buffer Bound for k-Synchronizability

Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes. Guessing the Buffer Bound for k-Synchronizability. Int. J. Found. Comput. Sci., 34(8):1051-1076, December 2023. [doi]

Abstract

Abstract is missing.