Login / Signup
Benedict Bunting
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Historical Data
Game Theoretic
Nash Equilibria
Computer Games
Top Venues
LICS
</>
Publications
</>
Benedict Bunting
,
Andrzej S. Murawski
Contextual Equivalence for State and Control via Nested Data.
LICS
(2024)
Benedict Bunting
,
Andrzej S. Murawski
Operational Algorithmic Game Semantics.
LICS
(2023)