For the most recent entries see the
Petri Nets Newsletter
.
Keyword: DCCP
Vanit-Anunchai, S.
;
Billington, J.
:
Effect of Sequence Number Wrap on DCCP Connection Establishment.
2006.
Vanit-Anunchai, Somsak
;
Billington, Jonathan
;
Kongprakaiwoot, Tul
:
Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol.
2005.
Vanit-Anunchai, S.
;
Billington, J.
:
Initial Result of a Formal Analysis of DCCP Connection Management.
2004.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography