##System Model
- N processes (servers): emulated by N threads
- Messages are eventually delivered: used reliable TCP protocol
- Use Lamport TimeStamp to maintain the logical order
##TODO
- Failures can occur during message transition
- Servers can fail
Implementation of Ricart Agrawala locking algorithm in an emulated real-working distributed system
JavaApache-2.0
##System Model
##TODO