For the most recent entries see the
Petri Nets Newsletter.
Han, B.
-
Billington, Jonathan;
Han, Bing:
Modelling and analysing the functional behaviour of TCPs connection management procedures.
2007.
-
Gallasch, Guy;
Han, Bing;
Billington, Jonathan:
Sweep-Line Analysis of TCP Connection Management.
2005.
-
Han, Bing;
Billington, Jonathan:
Termination Properties of TCP's Connection Management Procedures.
2005.
-
Han, B.;
Billington, J.:
Experience using Coloured Petri Nets to Model TCP's Connection Management Procedures.
2004.
-
Han, B.;
Billington, Jonathan:
Experience with Modelling TCP's Connection Management Procedures with CPNs.
2004.
-
Billington, Jonathan;
Gallasch, Guy Edward;
Han, Bing:
A Coloured Petri Net Approach to Protocol Verification.
2004.
-
Billington, J.;
Han, B.:
Closed Form Expressions for the State Space of TCP's Data Transfer Service Operating over Unbounded Channels.
2004.
-
Billington, J.;
Han, B.:
Formalising the TCP Symmetrical Connection Management Service.
2003.
-
Billington, J.;
Han, B.:
On Defining the Service Provided by TCP.
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.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography