Fully Abstract Game Semantics for Actors

Abstract

Based on the work on the algebraic theory of actors and game semantics for asynchronous $\pi$ calculus, we give the full abstraction proof of game semantics for actors.