酒井 政裕 (SAKAI Masahiro)  Index  Search  Changes  RSS  Login

Process Algebra

プロセス代数

記法

x・y
逐次合成(sequential composition)
x+y
選択演算子(alternative composition)。片方だけ実行
x||y
並列合成(parallel composition), マージ(merge)

文献

  • Introduction to Process Algebra (isbn:3-5406-6579-X)

リンク

Last modified:2006/11/16 05:00:44
Keyword(s):
References:[Chu Space] [top]

メニュー

My Activities

授業関係

その他

検索

最新の20件

2024-01-13
2023-11-03
2023-10-25
2022-06-11
2020-12-31
2020-07-21
2020-05-20
2019-04-06
2018-11-08
2017-09-09
2016-10-14
2016-07-15
2016-04-11
2016-04-07
2015-12-23

Generated by Hiki 2.0.0.pre1 (2014-08-13).
Powered by Ruby 2.2.10-p489 (2018-03-28).
Founded by SAKAI Masahiro.