非同期並行プロセス– tag –

合意形成と執行戦略における膠着状態の位相空間的解消：非同期並行プロセスの幾何学的証明