1 paper · 1 filter
Kazuki Watanabe
Open parity games are proposed as a compositional extension of parity games with algebraic operations, forming string diagrams of parity games. A potential application of string di…