Self-stabilizing symmetry breaking in constant-space
- Alain Mayer
- Yoram Ofek
- et al.
- 1992
- STOC 1992
Conference paper
Publications
14 results at STOC 1992
Two-prover one-round proof systems: Their power and their problems
- Uriel Feige
- László Lovász
- 1992
- STOC 1992
Conference paperSimple and efficient bounded concurrent timestamping or bounded concurrent timestamp systems are comprehensible!
- Cynthia Dwork
- Orli Waarts
- 1992
- STOC 1992
Conference paperExponential determinization for ω-automata with strong-fairness acceptance condition
- Shmuel Safra
- 1992
- STOC 1992
Conference paper