On the Modelling, Analysis and Design of Protocols - A Special Class of Software Structures.

Mohamed G. Gouda, Eric G. Manning

Browse the full ICSE paper archive.