How to Compose Presburger-Accelerations: Applications to Broadcast Protocols

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - Lecture Notes in Computer Science ◽

10.1007/3-540-36206-1_14 ◽

2002 ◽

pp. 145-156 ◽

Author(s):

Alain Finkel ◽

Jérôme Leroux

Download Full-text