An ML-like language supporting MessagePassingConcurrency, based on the PiCalculus.
Links:
See also: PiCalculus, ActorLanguages.
CategoryProgrammingLanguage CategoryConcurrency