Linked Data Explorerhttp://worldcat.org/entity/work/id/2242960590
An assertional correctness proof of a distributed mutual exclusion algorithm based on path reversal
Open All Close All
http://schema.org/about
- http://id.worldcat.org/fast/805020
- http://id.loc.gov/authorities/subjects/sh85097826
- http://id.worldcat.org/fast/1052928
- http://id.worldcat.org/fast/906987
- http://id.worldcat.org/fast/822777
- http://id.loc.gov/authorities/subjects/sh85003487
- http://id.loc.gov/authorities/subjects/sh85010111
- http://id.loc.gov/authorities/subjects/sh85042293
http://schema.org/name
- "An assertional correctness proof of a distributed mutual exclusion algorithm based on path reversal"@en
- "An assertional correctness proof of a distributed mutual exclusion algorithm based on path reversal"