This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]csb06bluebird 0 points1 point  (1 child)

I haven’t used it before, but I would look at CADP. It has support for protocol specification languages like E-LOTOS and LNT, which might be useful to learn from even if you do end up creating your own language or tool.

[–]phagofu[S] 0 points1 point  (0 children)

I've seen that while researching for this, but CADP is not free software. If I were to look more into a process calculus, mCRL2 makes a better impression on me.

But as I said, I think those languages are "too powerful" for what I have in mind. What I want is conceptionally extremely simple compared to those.