While I still think state machines are a particularly poor example for demonstrating DSLs, I think TLA+ excels here due to its mathematical foundation.

Of course, one can also see that TLA+ is more geared towards being nicely rendered so you can better read the mathematical symbols. We need WYSIWYG editors!

]]>But nice to see you write in your blog again.

P.S. Happy Birthday!

]]>