3 ms·
It’s also notable in that Mozart is based on Pi Calculus. Except for Pict, I’m not aware of any others.
by exdsq 7y ago
It’s also notable in that Mozart is based on Pi Calculus. Except for Pict, I’m not aware of any others.
- zem 7y agoi hadn't heard of pict, but there's occam-pi and jocaml which are based on the pi calculus. (jocaml is based on the join calculus, which has been demonstrated to be equivalent to the pi calculus).