| The dining cryptographers |
|
|
|
|
|
|
| n | Specification
in CSP:Ý The whole system |
||||
| Crypts = Crypt(0)Ý |||Ý Crypt(1)Ý |||Ý Crypt(2) |
|||||
| CoinsÝ =Ý Coin(0)Ý
|||Ý Coin(1)Ý |||Ý
Coin(2) |
|||||
| MealÝÝ =Ý Master ||{pays, notpays} ( Coins ||{look} Crypts ) |
|||||
