Introduction of Economic-Oriented Fairness to Process Algebras (Special Section on Description Models for Concurrent Systems and Their Applications)

スポンサーリンク

概要

• 論文の詳細を見る

• Fairness is one of the important notion for programming language, such as process algebras like CCS, that includes con[currency (or parallelism) and nondeterminism. This ensures that while repeatedly choosing among a set of alterna-tives, no alternative will be postponed forever. However, the fairness does not mention at what frequency these alternatives are selected. In this paper, we propose a quantitative fairness,which is called economic-oriented fairness, to each alternatives.This fairness ensures that the expected number of selection for each alternatives are same. We give a condition for probability assignment of selection of each alternative to be satisfied for economic-oriented fairness. First we show a simple probability assignment rule. In this assignment, between any two alternatives,if an alternative is selected TL times and the other m times then the probability to select the former alternative is (m+1)/(n+1) times the probability for the latter. We prove that this assignment satisfies the condition of economic-oriented fairness. For a model of the economic-oriented fairness, we adopt a probabilistic process algebra. Finally, we elaborate with two process models of the economic-oriented fairness. The first one is a server and client model, where each client communicates only with the server, but not among them. In this model, the expected number of communication by each client are equal. The second model considers communication between two processes. In practice, a process has several subprocesses. Each subprocess communicates via a communication port. In the second model, there is economic-oriented fairness where the expected number of communications via each communication port are equal.

• 社団法人電子情報通信学会の論文
• 1996-11-25

著者

• Kimura Shigetomo

  Institute Of Electronics And Information Sciences University

• Ebihara Yoshihiko

  Institute Of Electronics And Information Sciences University

関連論文

• Connection of Computers of Different Architecture to a LAN via a Gateway Process
• A Cross-Layer Retransmission Control for Improving TCP Performance in Wireless LAN(Network)
• A Proposal of Queue Management Method and Retransmission Mechanism for Wireless TCP Communications
• A Proposal of Seamless Handoff Method for Cellular Internet Environments(Special Issue on Mobile Multimedia Communications)
• Hybrid Dilated Banyan Network with Bypasses at the Stage of 4×2 Re-Arrangeable Output Switch
• A Study on a Hybrid Dilated Banyan Network
• Knowledge-Based Spelling Correction in Unix Command Names
• Introduction of Economic-Oriented Fairness to Process Algebras (Special Section on Description Models for Concurrent Systems and Their Applications)

スポンサーリンク