search

2222-42 / studyingSpecifyingSystems

0 stars 0 forks source link

concurrent data structureについての記述方法についてまとめ #11

Open 2222-42 opened 4 years ago

2222-42 commented 4 years ago

why

色々と複雑そうだから一つのISSUEにまとめたい。

2222-42 commented 4 years ago

quiescenceの場合のInvariantの記述について

https://groups.google.com/g/tlaplus/c/eY4OpYZrpkM/m/C7eF-dKECgAJ