1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 0996 Concurrency Theory and Applications '96
ダウンロード数: 135

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/61240
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0996-6.pdf84.32 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.authorFerreira, W.en
dc.contributor.authorHennessy, M.en
dc.contributor.authorJeffrey, A.en
dc.date.accessioned2008-07-09T04:19:17Z-
dc.date.available2008-07-09T04:19:17Z-
dc.date.issued1997-05-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/61240-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleA Theory of Weak Bisimulation for Core CML(Concurrency Theory and Applications '96)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume996-
dc.identifier.spage66-
dc.identifier.epage66-
dc.textversionpublisher-
dc.sortkey06-
dc.addressSchool of Cognitive and Computing Sciences, University of Sussex at Brightonen
dc.addressSchool of Cognitive and Computing Sciences, University of Sussex at Brightonen
dc.addressSchool of Cognitive and Computing Sciences, University of Sussex at Brightonen
dcterms.accessRightsopen access-
出現コレクション:0996 Concurrency Theory and Applications '96

アイテムの簡略レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。