SAKAI Masahiro - Process Algebra Diff
- Added parts are displayed like this.
- Deleted parts are displayed
like this.
= プロセス代数
== 記法
: x・y
逐次合成(sequential composition)
: x+y
選択演算子(alternative composition)。片方だけ実行
: x||y
並列合成(parallel composition), マージ(merge)
== 文献
* Introduction to Process Algebra (isbn:3-5406-6579-X)
== リンク
* ((<URL:http://en.wikipedia.org/wiki/Algebra_of_Communicating_Processes>))
* ((<OmicronTiki:プロセス代数|URL:http://tiki.is.os-omicron.org/tiki.cgi?c=v&p=%A5%D7%A5%ED%A5%BB%A5%B9%C2%E5%BF%F4>))
* ((<繰り返し演算子を含むプロセス代数の完全公理化|URL:http://www.jaist.ac.jp/library/thesis/is-master-1997/paper/m-katou/paper.pdf>))
* ((<楽しいπ算法・CCS編|URL:http://kaiya.cs.shinshu-u.ac.jp/pub/pi/pi1.pdf>))
== 記法
: x・y
逐次合成(sequential composition)
: x+y
選択演算子(alternative composition)。片方だけ実行
: x||y
並列合成(parallel composition), マージ(merge)
== 文献
* Introduction to Process Algebra (isbn:3-5406-6579-X)
== リンク
* ((<URL:http://en.wikipedia.org/wiki/Algebra_of_Communicating_Processes>))
* ((<OmicronTiki:プロセス代数|URL:http://tiki.is.os-omicron.org/tiki.cgi?c=v&p=%A5%D7%A5%ED%A5%BB%A5%B9%C2%E5%BF%F4>))
* ((<繰り返し演算子を含むプロセス代数の完全公理化|URL:http://www.jaist.ac.jp/library/thesis/is-master-1997/paper/m-katou/paper.pdf>))
* ((<楽しいπ算法・CCS編|URL:http://kaiya.cs.shinshu-u.ac.jp/pub/pi/pi1.pdf>))