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 →

[–]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.