Linked Data Explorer
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"
- "An assertional proof of correctness and serializability of a distributed mutual exclusion algorithm based on path reversal"@en