Modeling and verification of network protocol specs using timed pi-calculus. - Kamal Barakat; Stefan Kowalewski (ICUMT, 2012)

A Native Approach to Modeling Timed Behavior in the Pi-Calculus. - Kamal Barakat; Stefan Kowalewski; Thomas Noll 001 (TASE, 2012)