On 04/14/2016 11:30 AM, alex. wrote: > Anyway after doing a little more research some papers indicated that a > better approach for writing communication protocols would be > communicating sequential processes (CSP). But they are somewhat of an > antithesis to FSMs: their basic elements are processes whereas in FSMs > the basic elements are states. Now I could brush CSPs aside and just go
You may want to look into Lamport's TLA+. _______________________________________________ zeromq-dev mailing list [email protected] http://lists.zeromq.org/mailman/listinfo/zeromq-dev
