Distributed System Screenshot Lai-Yang-Li Provides a simulated non-FIFO system and a way to capture system states while its working using Lai-Yang-Li algoritm