For the most recent entries see the
Petri Nets Newsletter
.
Keyword: stop and wait protocols
Gallasch, Guy
;
Billington, Jonathan
:
A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols.
2006.
Gallasch, Guy Edward
;
Billington, Jonathan
:
Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols.
2005.
Billington, Jonathan
;
Gallasch, Guy Edward
:
How Stop and Wait Protocols Can Fail over the Internet.
2003.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography