コマンド形式化を見直してなおした、1日behind!!!! non blocking read型のチャネルはつかいません。 ACPをσdで離散化したものをつかう(ACPdか) チャネルを導入して意味定義 上記意味定義はACPなので、書き換え規則っぽくなた 以降の章では、LTSを導入して、…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。