Demonstration of state consistency in concurrent environment with actor model