Fully Abstract Game Semantics for Actors
  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. 
Yong Wang
cs.LO