A correctness proof of the Bakery protocol in →m⇋CRL / Jan Friso Groote, Henri Korver
| rdfs:label | "A correctness proof of the Bakery protocol in →m⇋CRL / Jan Friso Groote, Henri Korver" |
| schema:name | "A correctness proof of the Bakery protocol in →m⇋CRL" |
| schema:author | Logic Group (Utrecht) |
| Groote, Jan Friso (1965-) | |
| schema:contributor | Korver, Henri Peter |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1992" |
| schema:about | wiskundige logica |
| programmeertalen | |
|
schema:in |
"nl" |
|
schema:is |
Logic Group preprint series / University of Utrecht, Department of Philosophy |
|
schema:number |
31 |
| schema:publication |
<https:/ |