For the most recent entries see the
Petri Nets Newsletter
.
Keyword: internet protocols
Vanit-Anunchai, Somsak
;
Billington, Jonathan
;
Kongprakaiwoot, Tul
:
Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol.
2005.
Ouyang, Chun
;
Kristensen, Lars Michael
;
Billington, Jonathan
:
A Formal Service Specification for the Internet Open Trading Protocol.
2002.
Yao, S.
;
Billington, J.
;
Mingtian, Z.
:
CPN modeling of the WebMUX protocol.
2000.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography