@article{oai:myu.repo.nii.ac.jp:00000036,
 author = {富樫, 敦 and Togashi, Atsushi and Kitamura, Takashi and Kitamura, Takashi},
 journal = {宮城大学事業構想学部紀要},
 month = {2016-02-12},
 note = {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., 6, KJ00004248988, 論文, Article},
 pages = {11--83},
 title = {Relating processes with real-time property（英文）},
 volume = {6},
 year = {},
 yomi = {トガシ, アツシ}
}