An ML-like language supporting MessagePassingConcurrency, based on the PiCalculus.

Links:
* http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html (home page)
* http://citeseer.ist.psu.edu/195460.html (language definition)
* http://citeseer.ist.psu.edu/pierce97programming.html (tutorial)
* http://citeseer.ist.psu.edu/2193.html (introduction, type system)
* http://lsrwww.epfl.ch/~pawel/Papers/asama.pdf (Nomadic Pict -- extensions for distribution)
----
See also: PiCalculus, ActorLanguages.
----
CategoryProgrammingLanguage CategoryConcurrency