2007-10-15 [長年日記]
λ. “On asynchrony (...and on mobility)” by Francesco Zappa Nardelli
先日syd_sydさんに紹介していただいた非同期π計算の講義資料を読んだ。 asynchronous pi calculusでもsynchronousの同期的な通信が模倣できる点とか確かに面白い。 mobilityについては良くわからなかった。
日々の流転
プロフィール
カレンダー
| 前 | 2007年 10月 |
次 | ||||
| 日 | 月 | 火 | 水 | 木 | 金 | 土 |
| 1 | 2 | 3 | 4 | 5 | 6 | |
| 7 | 8 | 9 | 10 | 11 | 12 | 13 |
| 14 | 15 | 16 | 17 | 18 | 19 | 20 |
| 21 | 22 | 23 | 24 | 25 | 26 | 27 |
| 28 | 29 | 30 | 31 | |||
おお。読まれたのですね！もう一つ興味深いところは、「入力遷移は観測できない」という一節だと思います。あとmobilityというのがこの資料で何を指してるのか僕も良くわかってないです<br>「π計算」というとき、じつは多くの場合この非同期π計算を基礎にしていたりします。<br>distributed pi calculusでまとまった部分は書籍(最新のπ計算に関する本！)として最近出てまして、こちらも興味がありましたらぜひ：<br>http://books.google.co.jp/books?id=MQ-rqiANqscC
って、これ10/15の記事ですね。なぜか僕のGoogle Readerに今更上がって来たので反応しました。遅くてすみません。だめだこりゃ…
情報ありがとうございます。<br><br>> って、これ10/15の記事ですね。<br>> 遅くてすみません。だめだこりゃ…<br><br>いえ、これ実は手元のメモにだけ書いていて日記に書き忘れていたのを、先ほどアップしたので、実は全然遅くなんかないです。<br>こちらこそ忘れてて済みません。