久しぶりに PA本 Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series) を読む。"4.Recursion"に進むが難しい。ACP(Algebra of Communicating Processes)がfiniteな動作しか記述できない ので、普通の状態遷移に現れ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。