We stand with Ukraine  

Bing Han

Affiliations:
  • University of South Australia, Computer Systems Engineering Centre, Mawson Lakes, Australia


According to our database1, Bing Han authored at least 7 papers between 2003 and 2007.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
Modelling and analysing the functional behaviour of TCP's connection management procedures.
[BibTeX]
[DOI]
Jonathan Billington
,
Bing Han
Int. J. Softw. Tools Technol. Transf., 2007

Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties.
[BibTeX]
[DOI]
Jonathan Billington
,
Bing Han
Fundam. Informaticae, 2007

2005
Sweep-Line Analysis of TCP Connection Management.
[BibTeX]
[DOI]
Guy Edward Gallasch
,
Bing Han
,
Jonathan Billington
Proceedings of the Formal Methods and Software Engineering, 2005

Termination Properties of TCP's Connection Management Procedures.
[BibTeX]
[DOI]
Bing Han
,
Jonathan Billington
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004
Closed Form Expressions for the State Space of TCP's Data Transfer Service Operating over Unbounded Channels.
[BibTeX]
[DOI]
Jonathan Billington
,
Bing Han
Proceedings of the Computer Science 2004, 2004

2003
On Defining the Service Provided by TCP.
[BibTeX]
[DOI]
Jonathan Billington
,
Bing Han
Proceedings of the Computer Science 2003, 2003

A Coloured Petri Net Approach to Protocol Verification.
[BibTeX]
[DOI]
Jonathan Billington
,
Guy Edward Gallasch
,
Bing Han
Proceedings of the Lectures on Concurrency and Petri Nets, 2003


  Loading...