[zeromq-dev] Using GSL to design an FSM protocol and translate it into a CSP protocol

alex. thissideup at riseup.net
Thu Apr 14 16:29:49 CEST 2016

Thanks Bjorn,

that seems exactly like what I was looking for. And if I do it
correctly, I should be able to get a GSL template working that
translates (simple) FSMs into TLA+. If I ever come to that stage I'd be
glad to share it.

Seems kinda cool in my head: building nice networking protocols with
GSL, ready to be integrated into ZeroMQ with zproto, and checked for
validity and security by the TLA toolbox.

Well, we'll see.

On 14.04.2016 12:21, Bjorn Reese wrote:
> 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
> zeromq-dev at lists.zeromq.org
> http://lists.zeromq.org/mailman/listinfo/zeromq-dev

More information about the zeromq-dev mailing list