JavaScript library for working with automata and grammars for regular an...
Communicating Sequential Processes in Lua