Kamal Barakat, Stefan Kowalewski. Modeling and verification of network protocol specs using timed pi-calculus. In 4th International Congress on Ultra Modern Telecommunications and Control Systems, ICUMT 2012, St. Petersburg, Russia, October 3-5, 2012. pages 884-891, IEEE, 2012. [doi]
Abstract is missing.