CECS 524
Erlang and the pi-calculus 

The course site has articles explaining the pi-calculus, modeling Erlang 
in the pi-calculus, and modeling a Spanish fish market in the pi-calculus. 
Therefore it would seem reasonable to implement the Spanish fish market in 
Erlang.