[Q on multiple agent update in step]

7 views
Skip to first unread message

Lev Broido

unread,
Apr 14, 2020, 5:51:16 PM4/14/20
to tla...@googlegroups.com
Hello all
In attached example , I tried to define toy spec that allows producer / consumer protocol with multiple agents . 
The main question is what is the canonical way to specify multiple changes in a single step 
Additional questions are in the body of spec in comments 

Thanks
two_changes_step.tla
Reply all
Reply to author
Forward
0 new messages