2006-11-10から1日間の記事一覧
PAでは、PAP(Process Algebra for Parallelism)にデッドロックとencapsulation を追加した ものを ACP(Algebra of Communicating Processes)と呼ぶのだが*1やっとencapsulation の意味がわかった。これは、通信実行(同期実行)を強制するためのオペレーショ…
PAでは、PAP(Process Algebra for Parallelism)にデッドロックとencapsulation を追加した ものを ACP(Algebra of Communicating Processes)と呼ぶのだが*1やっとencapsulation の意味がわかった。これは、通信実行(同期実行)を強制するためのオペレーショ…