hamayanhamayan https://blog.hatena.ne.jp/hamayanhamayan/ はまやんはまやんはまやん https://blog.hamayanhamayan.com/ 研究 並列プロセスの形式的解析 この辺を見ると大体つかめる https://ja.wikipedia.org/wiki/並行性 https://ja.wikipedia.org/wiki/プロセス計算 並列的相互作用と通信 共有メモリ通信 メッセージパッシング通信 メッセージパッシング通信 Erlang, Occamなどでプログラミングは記述される メッセージパッシングを分析し、理解するための数学的理論が存在 1. アクターモデル 2. 各種プロセス代数 3. ペトリネット プロセス代数・プロセス計算 プロセス間の相互作用、通信、同期を抽象的に、かつ形式的に表現する。 これによりプロセス間の等価性（… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.hamayanhamayan.com%2Fentry%2F2017%2F04%2F16%2F111714" title="並列プロセス概観 - はまやんはまやんはまやん" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2017-04-16 11:17:14 rich https://blog.hamayanhamayan.com/entry/2017/04/16/111714 1.0 100%