Stav dette: Shared state management for time-sensitive distributed applications / by Vijaykumar Krishnaswamy.