[zeromq-dev] Using GSL to design an FSM protocol and translate it into a CSP protocol
Bjorn Reese
breese at mail1.stofanet.dk
Thu Apr 14 12:21:06 CEST 2016
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+.
More information about the zeromq-dev
mailing list