Communicating Sequential Processes with coreasync

Communicating Sequential Processes with coreasync