2005-09-01 CSP 言語 http://vl.fmnet.info/csp/ http://www.usingcsp.com/cspbook.pdf 並列プロセスの代数モデル。Monadでも実装可能。