Concurrency Model and Its Application to Formal Protocol Specifications.

Myungchul Kim, Samuel T. Chanson, Son T. Vuong

Browse the full INFOCOM paper archive.