F.4.1」カテゴリーアーカイブ

The Image of the Process Interpretation of Regular Expressions is Not Closed under Bisimulation Collapse

要約 Milner のプロセス セマンティクス (1984) の正規表現モジュロ … 続きを読む

カテゴリー: cs.CL, cs.LO, F.4.1 | The Image of the Process Interpretation of Regular Expressions is Not Closed under Bisimulation Collapse はコメントを受け付けていません