For the most recent entries see the
Petri Nets Newsletter
.
Keyword: finite state automata
Billington, J.
;
Han, B.
:
Formalising the TCP Symmetrical Connection Management Service.
2003.
Billington, J.
;
Han, B.
:
On Defining the Service Provided by TCP.
2003.
Rubin, Robert V.
;
Walker II, James
;
Golin, Eric J.
:
Early Experience with the Visual Programmer's WorkBench.
1990.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography