How to compose Presburger-accelerations: Applications to broadcast protocols (2002)

by A Finkel, J Leroux
Venue:In Proc. FSTTCS’02, LNCS 2556