1. [1] J. Billington and S. Vanit-Anunchai, “Iterative modelling of an evolving Internet standard: the datagram congestion control protocol,” Fundamenta Informaticae, vol.88, no.3, pp.357-385, 2008.
2. [2] J. Billington, S. Vanit-Anunchai, and G.E. Gallasch, “Parameterised coloured petri net channel models,” Trans. Petri Nets and Other Models of Concurrency III, vol.5800, pp.71-97, 2009.
3. [3] E.M. Clarke, O. Grumberg, M. Minna, and D. Peled, “State Space Reduction using Partial Order Techniques,” International Journal on Software Tools for Technology Transfer, vol.2, no.3, pp.279-287, 1999.
4. [4] CPN Tools home page. http://cpntools.org
5. [5] DCCP home page. http://www.read.cs.ucla.edu/dccp/