6 citations · 14 across the 7 of their papers we have counts for
1 paper · 2 filters
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada +1
In this paper, we introduce open parity games, which is a compositional approach to parity games. This is achieved by adding open ends to the usual notion of parity games. We intro…