2012-02-25から1日間の記事一覧

π算法とIO

ここでは次の記法を使います。 並行: P Q 入力: channel>(arg) P 出力: channel 複製: replicate P 制約: new(arg) P 空のプロセス: 何も書かない 同じインデントで並んでるのがconcurrencyで、インデントを下げた部分は時間経過+新しいスコープを表している…