ここでは次の記法を使います。 並行: P Q 入力: channel>(arg) P 出力: channel 複製: replicate P 制約: new(arg) P 空のプロセス: 何も書かない 同じインデントで並んでるのがconcurrencyで、インデントを下げた部分は時間経過+新しいスコープを表している…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。