ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "ec391efb-b98e-45bc-9125-e76515b73cbd"}, "_deposit": {"id": "10892", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "10892"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00010892", "sets": ["314"]}, "author_link": ["32804", "32805", "32806"], "item_10_alternative_title_19": {"attribute_name": "その他のタイトル", "attribute_value_mlt": [{"subitem_alternative_title": "Congruence Properties for a Timed Extension of the π-Calculus", "subitem_alternative_title_language": "en"}]}, "item_10_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2006-04-01", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "4", "bibliographicPageEnd": "641", "bibliographicPageStart": "632", "bibliographicVolumeNumber": "J89-D", "bibliographic_titles": [{"bibliographic_title": "電子情報通信学会論文誌", "bibliographic_titleLang": "ja"}]}]}, "item_10_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "本論文では文献[1]に基づくπ計算の時間拡張において,等価関係と擬順序関係が合同的性質をもつ十分条件を示す.時間経過が含まれるため,等価関係である時間拡張された双模倣関係は一般的には合同性を満たさない.しかし,チャネル名を束縛する入力プレフィックス以外のコンテクストに対しては合同であることを示す.ハードリアルタイム性をモデル化するために,遅延時間順関係と呼ぶ順序関係を定義する.遅延時間順関係は同じ入出力動作を一方のプロセスが他方より早いタイミングで実行できることを表す.遅延時間順関係は入力プレフィックス以外のコンテクストに対し合同であるが,並行合成されるプロセスは時間経過によって変換しないプロセスに制限される.ネットワーク構成が動的に変化するストリーミングシステムを用いて時間付きπ計算による記述と遅延時間順関係の例を示す.", "subitem_description_language": "ja", "subitem_description_type": "Abstract"}]}, "item_10_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/12738"}, {"subitem_identifier_type": "URI", "subitem_identifier_uri": "http://www.ieice.org/jpn/trans_online/index.html"}]}, "item_10_publisher_32": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "電子情報通信学会", "subitem_publisher_language": "ja"}]}, "item_10_relation_43": {"attribute_name": "関連情報", "attribute_value_mlt": [{"subitem_relation_type": "isVersionOf", "subitem_relation_type_id": {"subitem_relation_type_id_text": "http://www.ieice.org/jpn/trans_online/index.html", "subitem_relation_type_select": "URI"}}]}, "item_10_rights_12": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "Copyright 2006 IEICE", "subitem_rights_language": "en"}]}, "item_10_select_15": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_10_source_id_7": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "1880-4535", "subitem_source_identifier_type": "PISSN"}]}, "item_10_text_14": {"attribute_name": "フォーマット", "attribute_value_mlt": [{"subitem_text_value": "application/pdf"}]}, "item_1615787544753": {"attribute_name": "出版タイプ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "open access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_abf2"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "桑原, 寛明", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "32804", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "結縁, 祥治", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "32805", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "阿草, 清滋", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "32806", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-20"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "j89-d_4_632.pdf", "filesize": [{"value": "266.8 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 266800.0, "url": {"label": "j89-d_4_632.pdf", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/10892/files/j89-d_4_632.pdf"}, "version_id": "c908948c-f853-4ec8-b6bb-1a627591df43"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "π計算", "subitem_subject_scheme": "Other"}, {"subitem_subject": "時間付きプロセス代数", "subitem_subject_scheme": "Other"}, {"subitem_subject": "合同性", "subitem_subject_scheme": "Other"}, {"subitem_subject": "実時間並行プログラム", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "π計算に対する時間拡張と合同的性質", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "π計算に対する時間拡張と合同的性質", "subitem_title_language": "ja"}]}, "item_type_id": "10", "owner": "1", "path": ["314"], "permalink_uri": "http://hdl.handle.net/2237/12738", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2010-02-23"}, "publish_date": "2010-02-23", "publish_status": "0", "recid": "10892", "relation": {}, "relation_version_is_last": true, "title": ["π計算に対する時間拡張と合同的性質"], "weko_shared_id": -1}
  1. A500 情報学部/情報学研究科・情報文化学部・情報科学研究科
  2. A500a 雑誌掲載論文
  3. 学術雑誌

π計算に対する時間拡張と合同的性質

http://hdl.handle.net/2237/12738
http://hdl.handle.net/2237/12738
d52d4c7c-e68c-477a-b526-e8165f9c5642
名前 / ファイル ライセンス アクション
j89-d_4_632.pdf j89-d_4_632.pdf (266.8 kB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2010-02-23
タイトル
タイトル π計算に対する時間拡張と合同的性質
言語 ja
その他のタイトル
その他のタイトル Congruence Properties for a Timed Extension of the π-Calculus
言語 en
著者 桑原, 寛明

× 桑原, 寛明

WEKO 32804

ja 桑原, 寛明

Search repository
結縁, 祥治

× 結縁, 祥治

WEKO 32805

ja 結縁, 祥治

Search repository
阿草, 清滋

× 阿草, 清滋

WEKO 32806

ja 阿草, 清滋

Search repository
アクセス権
アクセス権 open access
アクセス権URI http://purl.org/coar/access_right/c_abf2
権利
言語 en
権利情報 Copyright 2006 IEICE
キーワード
主題Scheme Other
主題 π計算
キーワード
主題Scheme Other
主題 時間付きプロセス代数
キーワード
主題Scheme Other
主題 合同性
キーワード
主題Scheme Other
主題 実時間並行プログラム
抄録
内容記述 本論文では文献[1]に基づくπ計算の時間拡張において,等価関係と擬順序関係が合同的性質をもつ十分条件を示す.時間経過が含まれるため,等価関係である時間拡張された双模倣関係は一般的には合同性を満たさない.しかし,チャネル名を束縛する入力プレフィックス以外のコンテクストに対しては合同であることを示す.ハードリアルタイム性をモデル化するために,遅延時間順関係と呼ぶ順序関係を定義する.遅延時間順関係は同じ入出力動作を一方のプロセスが他方より早いタイミングで実行できることを表す.遅延時間順関係は入力プレフィックス以外のコンテクストに対し合同であるが,並行合成されるプロセスは時間経過によって変換しないプロセスに制限される.ネットワーク構成が動的に変化するストリーミングシステムを用いて時間付きπ計算による記述と遅延時間順関係の例を示す.
言語 ja
内容記述タイプ Abstract
出版者
言語 ja
出版者 電子情報通信学会
言語
言語 jpn
資源タイプ
資源タイプresource http://purl.org/coar/resource_type/c_6501
タイプ journal article
出版タイプ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
関連情報
関連タイプ isVersionOf
識別子タイプ URI
関連識別子 http://www.ieice.org/jpn/trans_online/index.html
ISSN
収録物識別子タイプ PISSN
収録物識別子 1880-4535
書誌情報 ja : 電子情報通信学会論文誌

巻 J89-D, 号 4, p. 632-641, 発行日 2006-04-01
フォーマット
application/pdf
著者版フラグ
値 publisher
URI
識別子 http://hdl.handle.net/2237/12738
識別子タイプ HDL
URI
識別子 http://www.ieice.org/jpn/trans_online/index.html
識別子タイプ URI
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 19:17:29.958492
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3