[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