A correctness proof of the Bakery protocol in →m⇋CRL
type: Book
type: ProductModel
type: CreativeWork
issued: 1992
about: p075665506
about: p075619539
author: p075396319
author: p075010259
contributor: p087095815
language: nl
is part of: p864503024
main entity of page: https://data.bibliotheken.nl/.well-known/genid/3b5fe061105e51ae3f52748659d83ef8
number of pages: 31
label: A correctness proof of the Bakery protocol in →m⇋CRL / Jan Friso Groote, Henri Korver