… In this paper we model infinite processes with finite configurations as infinite games over finite graphs. We investigate those games, called \emph{update … (and partial characterization) for deciding if a graph is an \emph{update network}. …
jda, 1(1):53-65, 2003. [doi]… We introduce the notion of update networks to model communication networks with infinite duration. In our formalization we use bipartite finite graphs and game-theoretic terminology as an underlying structure. For these networks we …
criwg 2000: 127-136 [doi]