helq / pict-4.1 Goto Github PK
View Code? Open in Web Editor NEWA concurrent programming language based on the pi-calculus (mirrored and updated from https://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html)
License: GNU General Public License v2.0