There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
A programming language designed around communicating processes. Complete with parser, typechecker, interpreter and compiler. Based on the asynchronous pi-calculus with several extensions.