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 > [email protected] > http://lists.zeromq.org/mailman/listinfo/zeromq-dev > _______________________________________________ zeromq-dev mailing list [email protected] http://lists.zeromq.org/mailman/listinfo/zeromq-dev
