Renato Costa
Results
2
issues of
Renato Costa
```tla archetype A(ref network) { a: network[LEADER] := [type |-> HELLO, messages |-> [log |-> ]]; } ``` An archetype like defined above leads messages failing to be sent across...