generated at
2/22/2025, 3:49:17 AM
π計算
Robin Milner
,
Parrow
,
Walker
メッセージベースの
並行
処理言語の意味論を定義するための核言語
Erlang
とか？？？
CSP
の拡張
http://keizobookman.hatenablog.com/entry/2016/05/25/012815
書籍の紹介など
http://web.yl.is.s.u-tokyo.ac.jp/kobalab/kadai99/picalc.html
The Pi-Calculus: A Theory of Mobile Processes
https://twitter.com/bd_gfngfn/status/1254282676531367939
Communicating and Mobile Systems: The Pi-Calculus
https://www.slideshare.net/ytakano/ss-83030386