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]
@inproceedings{DaiW13-4, title = {Non-Alternating ActorGame: Game semantics for actors without alternation}, author = {Guiping Dai and Yong Wang}, year = {2013}, doi = {10.1109/ICInfA.2013.6720357}, url = {https://doi.org/10.1109/ICInfA.2013.6720357}, researchr = {https://researchr.org/publication/DaiW13-4}, cites = {0}, citedby = {0}, pages = {539-544}, booktitle = {IEEE International Conference on Information and Automation, ICIA 2013, Yinchuan, China, August 26-28, 2013}, publisher = {IEEE}, }