PCP Theorem Proof: Powering Stage
pony – The occam- π Network Environment A Unified Model for Inter- and Intra-processor Concurrency