2222-42 / studyingSpecifyingSystems

0 stars 0 forks source link

Prophecyのよくわからないところ #6

Open 2222-42 opened 4 years ago

2222-42 commented 4 years ago

why

Lamportさんが言う通り、Prophecy Variableは複雑。私もよくわかっていない。

Related: #3

what

[ ] Domの役割。
[ ] PredA, PredDomA, and DomInjAの定義と役割
[ ] ProphConditionの定義
[ ] ProphConditionの活用方法。