# Operational Semantics of Games

## TL;DR

This paper introduces operational semantics into game theory, creating an algebraic framework that enables reasoning about system behaviors through game-theoretic principles.

## Contribution

It develops a comprehensive algebra of games based on operational semantics, extending to concurrent, recursive, and abstract games for broader applicability.

## Key findings

- Established a full algebra of games incorporating operational semantics.
- Enabled reasoning about diverse system behaviors using game theory.
- Provided a foundation for analyzing systems beyond computational contexts.

## Abstract

We introduce operational semantics into games. And based on the operational semantics, we establish a full algebra of games, including basic algebra of games, algebra of concurrent games, recursion and abstraction. The algebra can be used widely to reason on the behaviors of systems (not only computational systems) with game theory supported.