Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Address: [go: Go Back, main page]

---

Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

Code For Tests Used in "The 0/1/infinity Counter Abstraction"

• Mutual Exclusion with Semaphores
  • Livelock Freedom
    • Program
    • Proof
  • Individual Liveness
    • Program
    • Proof
• Bakery
  • Livelock Freedom
    • Program
    • Proof
    • Output
  • Individual Liveness
    • Program
    • Proof
    • Output
• Szymanski using Boolean Counters
  • Livelock Freedom
    • Program
    • Proof
    • Output
  • Individual Liveness
    • Program
    • Proof
• Szymanski using only Boolean Counters
  • Livelock Freedom
    • Program
    • Proof
    • Output
  • Individual Liveness
    • Program
    • Proof
    • Output