Actor 模型的完全抽象博弈语义
计算机科学中的逻辑
2019-01-08 v5
摘要
基于关于 Actor 代数理论以及异步 演算博弈语义的研究工作，我们给出了 Actor 博弈语义的完全抽象性证明。
引用
@article{arxiv.1403.6563,
title = {Fully Abstract Game Semantics for Actors},
author = {Yong Wang},
journal= {arXiv preprint arXiv:1403.6563},
year = {2019}
}