Fully Abstract Game Semantics for Actors
Yong Wang
TL;DR
This paper establishes a fully abstract game semantics model for actors, building on algebraic and asynchronous $\
Contribution
It provides the first full abstraction proof of game semantics specifically tailored for actor models.
Findings
Proves full abstraction for game semantics of actors.
Extends algebraic and game semantics frameworks to actor models.
Bridges theoretical gaps between actors and game semantics.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Artificial Intelligence in Games · Logic, Reasoning, and Knowledge