Pict Language
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.