 | 2009 |
|---|
| 7 |       | Jonathan Billington,
Somsak Vanit-Anunchai,
Guy Edward Gallasch:
Parameterised Coloured Petri Net Channel Models.
T. Petri Nets and Other Models of Concurrency 3: 71-97 (2009) |
| 2008 |
|---|
| 6 | | Jonathan Billington,
Somsak Vanit-Anunchai:
Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol.
Fundam. Inform. 88(3): 357-385 (2008) |
| 5 | | Somsak Vanit-Anunchai,
Jonathan Billington,
Guy Edward Gallasch:
Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method.
STTT 10(1): 29-56 (2008) |
| 2007 |
|---|
| 4 | | Somsak Vanit-Anunchai,
Jonathan Billington:
Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures.
ICATPN 2007: 423-444 |
| 3 | | Guy Edward Gallasch,
Jonathan Billington,
Somsak Vanit-Anunchai,
Lars Michael Kristensen:
Checking safety properties on-the-fly with the sweep-line method.
STTT 9(3-4): 371-391 (2007) |
| 2006 |
|---|
| 2 | | Somsak Vanit-Anunchai,
Jonathan Billington:
Effect of Sequence Number Wrap on DCCP Connection Establishment.
MASCOTS 2006: 345-354 |
| 2005 |
|---|
| 1 | | Somsak Vanit-Anunchai,
Jonathan Billington,
Tul Kongprakaiwoot:
Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol.
FORTE 2005: 143-158 |
