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 |
JSIAM-FAIS Home Page: 2nd FAIS Meeting Program
日本応用数理学会 (JSIAM) 「数理的技法による情報セキュリティ」研究部会 (FAIS) 第二回研究集会 日本応用数理学会 (JSIAM) 「数理的技法による情報セキュリティ」研究部会 (FAIS) http://fais.jsiam.org/ 第二回研究集会のご案内 暗号研究者と数理的技法(フォーマルメソッド)研究者の交流を目的として, 日本応用数理学会「数理的技法による情報セキュリティ」研究部会が本年 5月に発足しました. 詳しくは上記ホームページに記載の設立趣旨をご覧く ださい. その第二回研究集会を次のように開催しますので, ご案内申し上げます. 本研究集会は「第7回代数幾何・数論及び符号・暗号研究集会」 (12/20(水)〜12/22(金), プログラム(PDF))に協賛するという形で行います. 暗号理論と数理的技法の境界領域をテーマに, その全体像が分かるような プログラム
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Cryptology ePrint Archive 2007/289 - M. Backes, M. Maffei, D. Unruh "Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol"
Cryptology ePrint Archive 2006/068 - M. Backes, B. Pfitzmann, M. Waidner "Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes"
いまさら聞けない 形式手法入門（1/3） ― ＠IT
