Proving the bounded retransmission protocol in the pi-calculus (1998)

by T Hardin, B Mammass
Venue:In Proc. INFINITY'98