Guiping Dai, Yong Wang. Non-Alternating ActorGame: Game semantics for actors without alternation. In IEEE International Conference on Information and Automation, ICIA 2013, Yinchuan, China, August 26-28, 2013. pages 539-544, IEEE, 2013. [doi]
Abstract is missing.