Calculating Compilers for Concurrency