• Strong progress requirement
  • Wait-freeと同じ?
  • ループのないコードは、bounded wait-free特性を満たしている