Fully Abstract Game Semantics for Actors
arXiv:1403.6563
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.
arXiv:1403.6563
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.