Difference between revisions of "Producer-Consumer System/Process"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
<uml> | |||
Alice -> Bob: Authentication Request | |||
Bob --> Alice: Authentication Response | |||
</uml> | |||
* [[Producer-Consumer System/Design]] | * [[Producer-Consumer System/Design]] | ||
* [[Producer-Consumer System/Write TLA Spec]] | * [[Producer-Consumer System/Write TLA Spec]] | ||
* [[Producer-Consumer System/TLC Model Checking]] | * [[Producer-Consumer System/TLC Model Checking]] | ||
* [[Producer-Consumer System/Finish]] | * [[Producer-Consumer System/Finish]] | ||
Revision as of 14:42, 25 August 2021
<uml> Alice -> Bob: Authentication Request Bob --> Alice: Authentication Response </uml>