For the most recent entries see the
Petri Nets Newsletter
.
Keyword: service definition
Billington, J.
;
Han, B.
:
Formalising the TCP Symmetrical Connection Management Service.
2003.
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