Output Without Delay: A π-Calculus Compatible with Categorical Semantics

オープンアクセス

書誌事項

タイトル
Output Without Delay: A π-Calculus Compatible with Categorical Semantics
著者
Ken Sakayori, Takeshi Tsukada

収録刊行物

関連プロジェクト

もっと見る

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

  • CRID
    1010857593581276672
  • 資料種別
    journal article
  • データソース種別
    • KAKEN

問題の指摘

ページトップへ