"Parametric Language Analysis of the Class of Stop-and-Wait Protocols."

Guy Edward Gallasch, Jonathan Billington (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics