Fully Abstract Game Semantics for Actors
Logic in Computer Science
2019-01-08 v5
Abstract
Based on the work on the algebraic theory of actors and game semantics for asynchronous calculus, we give the full abstraction proof of game semantics for actors.
Cite
@article{arxiv.1403.6563,
title = {Fully Abstract Game Semantics for Actors},
author = {Yong Wang},
journal= {arXiv preprint arXiv:1403.6563},
year = {2019}
}