For the most recent entries see the
Petri Nets Newsletter.
Keyword: TCP connection management
-
Gallasch, Guy;
Han, Bing;
Billington, Jonathan:
Sweep-Line Analysis of TCP Connection Management.
2005.
-
Billington, J.;
Han, B.:
Formalising the TCP Symmetrical Connection Management Service.
2003.
-
Han, B.;
Billington, J.,:
Validation TCP Connection Management.
2002.
-
Han, Bing;
Billington, Jonathan:
An Analysis of TCP Connection Management Using Coloured Petri Nets.
2001.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography