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

[alex.]

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.
Best,
alex.

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
>