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.Comment: 15 pages. arXiv admin note: substantial text overlap with
  arXiv:1611.09035, arXiv:1810.0086