Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Somsak
Last name:	Vanit-Anunchai
DBLP:	47/1811
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 7 of 7  

Select a publication
Show	Title	Venue	Rating	Date
	Jonathan Billington, Somsak Vanit-Anunchai, Guy Edward Gallasch. Parameterised Coloured Petri Net Channel Models.	Transactions on Petri Nets and Other Models of Concurrency III 2009, Volume 5800	(0)	2009
	Jonathan Billington, Somsak Vanit-Anunchai. Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol.	Fundam. Inform. 2008, Volume 88	(0)	2008
	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 2008, Volume 10	(0)	2008
	Somsak Vanit-Anunchai, Jonathan Billington. Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures.	Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings 2007	(0)	2007
	Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen. Checking safety properties on-the-fly with the sweep-line method.	STTT 2007, Volume 9	(0)	2007
	Somsak Vanit-Anunchai, Jonathan Billington. Effect of Sequence Number Wrap on DCCP Connection Establishment.	14th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2006), 11-14 September 2006, Monterey, California, USA 2006	(0)	2006
	Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot. Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol.	Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings 2005	(0)	2005

Your query returned 7 matches in the database.