DMCA

A Correctness Proof of the Bakery Protocol in µCRL (1994)

by Jan Friso Groote , Henri Korver
Venue:ALGEBRA OF COMMUNICATING PROCESSES, WORKSHOPS IN COMPUTING
Citations:6 - 2 self