情報処理学会研究報告. [システムソフトウェアとオペレーティング・システム] 一般社団法人情報処理学会 2009-OS-111(27) (20090415)

連邦型Lindaによる分散アルゴリズムをデバッグするためのメタプロトコル本文: 外部

1-6