For the most recent entries see the
Petri Nets Newsletter
.
Keyword: TCP
Zaitsev, D. A.
:
Invariance of TCP protocol Petri net model.
2004.
Zaitsev, Dmitry A.
:
Verification of protocol TCP via decomposition of Petri net model into functional subnets.
2004.
Billington, J.
;
Han, B.
:
Closed Form Expressions for the State Space of TCP's Data Transfer Service Operating over Unbounded Channels.
2004.
Billington, J.
;
Han, B.
:
On Defining the Service Provided by TCP.
2003.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography