Relating process with real-time property

• 富樫 敦

• Kitamura Takashi

• Atsushi Togashi

• Takashi Kitamura

書誌事項

タイトル別名

• Relating processes with real-time property

抄録

type:論文

type:Article

In this research, we consider some (bi)simulation-based relations of processes in timed process algebra(TPA), which reflect real-time property ; we attempt to reflect real-time property into the discussion of relating processes in TPA. To be more precise, we relate functionally identical processes with respect to real-time property. We discuss the issue on nTeCCS, which is one of timed process algebras. As a result, we propose six kinds of speed, hence six relations of processes that reflect real-time property in TPA. We also present the some properties of these relations, including congruence property of relations. We show that these relations are not congruent for nTeCCS, but congruent for all the operators of kTeCCS, whose semantics is slightly diverse from that of nTeCCS for the sake of congruence. We also show an example for those relations.

identifier:6

identifier:KJ00004248988

収録刊行物

• 宮城大学事業構想学部紀要 = Bulletin of Miyagi University, School of Project Design / 宮城大学事業構想学部研究紀要広報委員会 編

  宮城大学事業構想学部紀要 = Bulletin of Miyagi University, School of Project Design / 宮城大学事業構想学部研究紀要広報委員会 編 6 11-83, 2003

  [出版社不明]

キーワード

• processes

詳細情報

• CRID: 1390572174802960512
• NII論文ID: 110004677474
• NII書誌ID: AA11345848
• ISSN: 1344607X
• DOI: 10.15085/00000028
• NDL書誌ID: 7069125
• Web Site: http://id.nii.ac.jp/1380/00000028/
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I7069125
• 本文言語コード: en
• データソース種別:
  • JaLC
  • IRDB
  • NDL
  • CiNii Articles