Foundation of Software: Winter Semester 2008
参考図書 Benjamin C. Pierce. Types and Programming Languages. The MIT Press, 2002. Robin Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, 1999. igarashi@kuis.kyoto-u.ac.jp Last update on $Date: 2008-10-03 22:26:19 +0900 (Fri, 03 Oct 2008) $.
A Very Brief Introduction to the Pi-Calculus (in Japanese)
π-calculus 超入門 π-calculus は、80 年代の終わりごろに Milner らによって提案された並行計算のモデルの一つです。そこでは、プロセスと呼ばれる複数の独立した主体が、通信チャネルと呼ばれるデータの通り道を介して値をやりとりしながら、計算を行っていきます。π-calculus にはいろいろな変種があるのですが、ここではとりあえず次のような構成要素からなるものを考えましょう。 new x . P 新しいチャネル x を作ってから、プロセス P を実行する (channel creation) x![v1, ..., vn] チャネル x に値 v1, ..., vn を送る (asynchronous output) x?[v1, ..., vn] . P チャネル x から値 v1, ..., vn を受け取って、P を実行する (input guard) P |
The occam-π programming language
occam-π (occam-pi) is a concurrent programming language using the process-oriented programming model, which aims to make it straightforward to write correct, expressive concurrent programs. occam-π is supported on a variety of platforms by a collection of open source tools, and is used and maintained by a community of developers around the world. Resources If you're new to occam-π, the Learning Re
occam-pi and KRoC: blending CSP and the pi-calculus
[ news | occam-pi | download | documentation | bugs | coming-soon | publications | links ] Occam-pi and KRoC are the result of on-going research extending the (CSP) ideas of occam by judicious inclusion of the mobility features of the pi-calculus. In the interests of proveability, we have been careful to preserve the distinction between the original simple static point-to-point synchronised commun
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
