トップ «前の日記(2007-10-14) 最新 次の日記(2007-10-16)» 月表示 編集

日々の流転


2007-10-15 [長年日記]

λ.On asynchrony (...and on mobility)” by Francesco Zappa Nardelli

先日syd_sydさんに紹介していただいた非同期π計算の講義資料を読んだ。 asynchronous pi calculusでもsynchronousの同期的な通信が模倣できる点とか確かに面白い。 mobilityについては良くわからなかった。

本日のツッコミ(全3件) [ツッコミを入れる]
ψ syd (2007-11-04 22:44)

おお。読まれたのですね!もう一つ興味深いところは、「入力遷移は観測できない」という一節だと思います。あとmobilityというのがこの資料で何を指してるのか僕も良くわかってないです<br>「π計算」というとき、じつは多くの場合この非同期π計算を基礎にしていたりします。<br>distributed pi calculusでまとまった部分は書籍(最新のπ計算に関する本!)として最近出てまして、こちらも興味がありましたらぜひ:<br>http://books.google.co.jp/books?id=MQ-rqiANqscC

ψ syd (2007-11-04 22:46)

って、これ10/15の記事ですね。なぜか僕のGoogle Readerに今更上がって来たので反応しました。遅くてすみません。だめだこりゃ…

ψ さかい (2007-11-04 22:57)

情報ありがとうございます。<br><br>> って、これ10/15の記事ですね。<br>> 遅くてすみません。だめだこりゃ…<br><br>いえ、これ実は手元のメモにだけ書いていて日記に書き忘れていたのを、先ほどアップしたので、実は全然遅くなんかないです。<br>こちらこそ忘れてて済みません。