式の書き方
ためしにHTMLで書いてみたけど結構面倒だ。でもmimtexも面倒だしな。普通のアスキーだけで書ける表記法を決めた方が早いかな。
でも読んでる論文と違う表記法使うのも翻訳が面倒かな。
http://reperiendi.wordpress.com/2008/01/02/polyadic-asynchronous-asymmetric-pi-calculus/
↑で使ってる表記法とかどうだろ。Pictというものもあるらしいが。
http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html
"Pict: A Programming Language Based on the Pi-Calculus" http://citeseer.ist.psu.edu/pierce97pict.html
http://en.wikipedia.org/wiki/Pict_programming_language
Pictをインストールしようとしたがすんなりといかなそうなので今回はパス。
http://web.yl.is.s.u-tokyo.ac.jp/kobalab/kadai99/picalc.html
と
http://reperiendi.wordpress.com/2008/01/02/polyadic-asynchronous-asymmetric-pi-calculus/
を参考にとりあえず、仮の表記法で。
x(a,b,c) ：チャンネルxでa,b,cを受け取る
x!
