はまやんはまやんはまやん

hamayanhamayan's blog

2017-04-16から1日間の記事一覧

並列プロセス概観

並列プロセスの形式的解析 この辺を見ると大体つかめる https://ja.wikipedia.org/wiki/並行性 https://ja.wikipedia.org/wiki/プロセス計算 並列的相互作用と通信 共有メモリ通信 メッセージパッシング通信 メッセージパッシング通信 Erlang, Occamなどでプ…