Comment by nine_k

A language to describe distributes systems as state machines.

* Describe a distributed system as a bunch of FSMs.

* Verifies its correctness to some degree (but not proves yet).

* Geneerates C or C# code; compact enough to suit even device drivers.

* Allows to describe test suites and monitoring tools for the code.

* MIT license.