WEKO3
アイテム
Introduction of Economic-Oriented Fairness to a Process Algebra
https://ipsj.ixsq.nii.ac.jp/records/129605
https://ipsj.ixsq.nii.ac.jp/records/129605875a3877-d35c-4a2c-b2a4-e54a01623be5
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001329826.pdf (181.4 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1996-03-06 | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | Introduction of Economic-Oriented Fairness to a Process Algebra | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 筑波大学電子・情報工学系 | ||||||
| 著者所属 | ||||||
| 筑波大学電子・情報工学系 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Institute of Electronics and Information Sciences, University of Tsukuba, JAPAN | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Institute of Electronics and Information Sciences, University of Tsukuba, JAPAN | ||||||
| 論文抄録(英) | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | Faireness is one of the important notion for programming language including concurrency (or parallelism) and nondeterminism such as process algebras like CCS. This ensures that having to repeatedly choose among a set of alternatives, no alternative will be postponed forever. For example, assume, in a network system, a node P sends a message to either a note Q or R repeatedly. When the fairness is not supposed on this network system, Q(or R) may be able to receive no message. In general, fairness is implicitly assumed on practical systems. So the both Q and R will receive a message eventually in a practical system. However, the fiairness does not say how much frequency Q and R recieve messages. In spite that Q recieves several thousand messages, R may recieve only one message. In practial meaning, is it "fail"? This paper introduce more quantitative fairness for a process algebra. 2) Calls such fairness is "economic-oriented". So we call this fairness economic-oriented fairness. | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第52回, 号 ソフトウェア, p. 11-12, 発行日 1996-03-06 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
