Author:
Billington Jonathan,Han Bing
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference60 articles.
1. Allman, M., Paxson, V., Stevens, W.: TCP Congestion Control. Request for Comments 2581, IETF (1999)
2. Billington, J., Gallasch, G., Han, B.: A Coloured Petri net approach to protocol verification. In: Lectures on Concurrency and Petri Nets: Advances in Petri Nets of Lecture Notes in Computer Science 3098, pp. 210–290. Springer, Heidelberg (2004)
3. Braden, R.: Requirements for Internet Host—Communication Layers. RFC 1122, IETF (1989)
4. Cassandras C.G. and Lafortune S. (1999). Introduction to Discrete Event Systems. Kluwer, Boston
5. CCITT.: Interface between DTE and DCE for Terminals Operating in the Packet Mode on Public Data Networks. ITU Recommendation X.25 (1977)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献