否定前件を含む構造操作意味定義に対するプロセス計算コンパイラ

書誌事項

タイトル別名
  • ヒテイ ゼンケン オ フクム コウゾウ ソウサ イミ テイギ ニ タイスル プロセス ケイサン コンパイラ
  • A process algebra compiler with negative premises
  • ソフトウェアサイエンス
  • ソフトウェアサイエンス

この論文をさがす

収録刊行物

参考文献 (12)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ