1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 0996 Concurrency Theory and Applications '96
このアイテムのアクセス数: 176

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/61236
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0996-10.pdf1.58 MBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.authorNAKATA, Akioen
dc.contributor.authorHIGASHINO, Teruoen
dc.contributor.authorTANIGUCHI, Kenichien
dc.contributor.alternative中田, 明夫ja
dc.contributor.alternative東野, 輝夫ja
dc.contributor.alternative谷口, 健一ja
dc.contributor.transcriptionナカタ, アキオja
dc.contributor.transcriptionヒガシノ, テルオja
dc.contributor.transcriptionタニグチ, ケンイチja
dc.date.accessioned2008-07-09T04:19:13Z-
dc.date.available2008-07-09T04:19:13Z-
dc.date.issued1997-05-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/61236-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subjecttimed processen
dc.subjectsymbolic bisimulationsen
dc.subjectA-TSLTSen
dc.subjectmost general booleanen
dc.subjectuntimed bisimulation equivalenceen
dc.subject.ndc410-
dc.titleTime-Action Alternating Model for Verifying Symbolic Bisimulation Equivalence of Timed Processes(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.spage98-
dc.identifier.epage110-
dc.textversionpublisher-
dc.sortkey10-
dc.addressDept. of Information and Computer Sciences, Osaka Universityen
dc.addressDept. of Information and Computer Sciences, Osaka Universityen
dc.addressDept. of Information and Computer Sciences, Osaka Universityen
dcterms.accessRightsopen access-
出現コレクション:0996 Concurrency Theory and Applications '96

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

Export to RefWorks


出力フォーマット 


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