. . .
I think it is more common in this application area to use
discrete-event modeling (as in the DE domain) and finite
state machines (as in the FSM domain).
Several people made essentially this point; it's well-taken
and I basically agree.
I'm wrestling with the problem of finding a
Bill:
Dataflow alone is perhaps not ideal for networking applications
since it is awkward to specify control using pure dataflow.
There are several possibilities:
1) Dataflow + FSM. A hierarchical combination of these
might be a good solution. We have an experimental formalism
called