Linked Data Explorerhttp://worldcat.org/entity/work/id/26156796
An assertional proof of correctness and serializability of a distributed mutual exclusion algorithm based on path reversal
Open All Close All
http://schema.org/name
- "An assertional proof of correctness and serializability of a distributed mutual exclusion algorithm based on path reversal"
- "An assertional proof of correctness and serializability of a distributed mutual exclusion algorithm based on path reversal"@en