Arnaud Sangnier

データ管理によって強化された一階論理の探求。

ノンブロッキングランデブーを使った分散システムの安全性分析についての考察。

分散システムにおける通信プロトコルの概要、特に待機のみのノンブロッキングブロードキャストプロトコルに焦点を当てる。