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.

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment