Promela++: A Language for Constructing Correct and Efficient Protocols.

Anindya Basu, J. Gregory Morrisett, Thorsten von Eicken

Browse the full INFOCOM paper archive.