抽象的に、かつ形式的に表現する。これによりプロセス間の等価性(双模倣性)についての形式的推論が可能になる。形式としてはCSP,CCS,π-calculusなどがある。Processesこの辺がプロセス代数の発端でここから、色んな派生が生まれて、総括してプロセス代数と呼ばれる。疑問点プロセス代数はメッセージパッシング通信をする並列プロセス向けの代数学のように見える。GPUはどちらかというと共有メモリ通信であり、セマフォのような構造を使って排他処理的なことをしているのだが、代数としてプロセス代数を使ってもよいのだろうか。B]月別アーカイブスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。