酒井 政裕 (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)
リンク
<URL:http://en.wikipedia.org/wiki/Algebra_of_Communicating_Processes>
OmicronTiki:プロセス代数
繰り返し演算子を含むプロセス代数の完全公理化
楽しいπ算法・CCS編
Last modified:2006/11/16 05:00:44
Keyword(s):
References:[
Chu Space
] [
top
]
メニュー
FrontPage
Who I am
日記「ヒビルテ」
My Activities
Softwares
Talks
Writings
Translations
Other contributions
Media
Programming Contests
Learning on MOOC
Running
Ingress
Are You a Werewolf? (人狼)
授業関係
向井研Wiki
コンパイラ構成論 (2003年秋)
情報数学I (2001年秋)
記号処理プログラミング・掲示板
その他
千衣アンテナ
(
はてな版
)
メーリングリストアーカイブ
RSS
カレンダー(RDFical)
湘南語録
湘南高校 1999年 White
WhiteFeather内輪ページ
HAQ検索
人狼審問ログアーカイブ
古い日記
Google Plus Backup
orphan
検索
最新の20件
2022-09-14
Talks
2022-08-18
Writings
2022-06-11
MOOC
ランニング
2020-12-31
翻訳
2020-07-21
圏論
2020-05-20
さかい
2019-04-06
SideMenu
ProgrammingContests
Ingress
2018-11-08
その他貢献など
2017-09-09
hsPTQ
Software
2016-10-14
PDF
WritingTips
2016-07-15
HaskellSMT
2016-04-11
酒井 政裕 (SAKAI Masahiro)
2016-04-07
メディア掲載・出演
2015-12-23
Windows
2015-12-04
素材サイト
Keyword(s):
References:[Chu Space] [top]