lamport-mutual-exclusion

There are 7 repositories under lamport-mutual-exclusion topic.

qqzeng/distributed-mutual-exclusion
several distributed mutual exclusion algorithms implementation
Language:Go2 0 02
dbrcina/OS-FER-2018-19
Lab solutions for Operating Systems ("Operacijski sustavi") course at FER 2018/19
Language:C1 1 0
AndrezaNobrega/marketplaceDistribuido
Marketplace distribuído, com sua sincronização baseada no algoritmo de lamport
Language:Python1 01
arsnazarenko/distributed-computing
ITMO. Distributed computing 2022-2023
Language:C
CHAITANYA-IN/distributed-systems-assignments
Contains all assignments in Distributed Systems course @COEP
Language:Python1 0
vivek-bansal-VB/Lamport-Distributed-Mutual-Exclusion-Algorithm
Implemented Lamport Distributed mutual exclusion algorithm sending and receiving requests in an interleaving fashion. Also tested the correctness and performance of the algorithm using Monitor Class.
0 0
vivek-bansal-VB/Lamport-Mutual-Exclusion-algorithm-in-TLA
Distributed Mutex : specifying and verifying safety and efficiency properties of Lamport mutual exclusion algorithm in TLA.
Language:TLA0 0