Occam for the BEAM (Erlang Abstract Machine), implemented in Erlang