#### Fully Abstract Game Semantics for Actors

##### Yong Wang

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.

arrow_drop_up