147 search results - page 2 / 30 » Polynomial Fairness and Liveness |
FROCOS
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
FTRTFT
1998
Springer
13 years 9 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...
IJCAI
1993
13 years 6 months ago
1993
ICICS
2005
Springer
13 years 11 months ago
2005
Springer
We design and analyze a simple optimistic fair non-repudiation protocol. Our protocol is considerably simpler and more efficient than current proposals, due mainly to the avoidanc...
WDAG
1993
Springer
13 years 9 months ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...