1302 search results - page 10 / 261 » Fair Equivalence Relations |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
People usually regard algorithms as more abstract than the programs that implement them. The natural way to formalize this idea is that algorithms are equivalence classes of progra...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
TWC
2008
13 years 7 months ago
2008
In this paper, it is shown that it is challenging to evaluate service fairness in multi-hop wireless networks due to intra-flow contention and unequal channel capacity. The convent...
PE
2006
Springer
13 years 7 months ago
2006
Springer
In this paper, we consider the problem of devising a loop scheduler that allocates slots to users according to their relative weights as smoothly as possible. Instead of the exist...
ICALP
1998
Springer
13 years 12 months ago
1998
Springer
We generate a natural hierarchy of equivalences for asynchronous name-passing process calculi from simple variations on Milner and Sangiorgi's definition of weak barbed bisim...