Simulation.Aivika.Distributed.Optimistic.State

data LogicalProcessState

data TimeServerState