We give a fully abstract game model for Idealized Algol with non-local control flow. In contrast to most previous papers on game semantics, we do not need to include the bad-variable constructor mkvar to obtain full abstraction. Using the model we show that, unlike in the “control-free” case, the presence of mkvar does affect observational equivalence. We conclude by discussing the effect of mk...

Blockholder monitoring is central to corporate governance, but blockholders large enough exercise significant unilateral influence are rare. Mechanisms that enable moderately sized exert collective therefore important. Existing theory suggests engagement by unlikely, especially when the blocks held delegated asset managers who have limited skin in game. We present a model which multiple engage ...

We study a power-based flow control algorithm for virtual circuit flow control in a decentralized network. This algorithm is based on a greedy heuristic. Each virtual circuit, (or player) iteratively optimizes its individual performance measure, power, by adjusting its message rate to achieve an ideal tradeoff point between high throughput and low delay. For our equilibrium analysis, we formula...

in this paper, a novel hybrid model based on neural network and game theory is proposed to support the analyzers in oil market. in this model, first the neural network is utilized to learn the oil prices associated with opec production level and usa imports level. then the learned neural network is applied by a game model. finally the nash equilibrium points of the game present the optimum deci...

In this paper, we deal with games with fuzzy payoffs. We proved that players who are playing a zero-sum game with fuzzy payoffs against Nature are able to increase their joint payoff, and hence their individual payoffs by cooperating. It is shown that, a cooperative game with the fuzzy characteristic function can be constructed via the optimal game values of the zero-sum games with fuzzy payoff...