Pareto Fronts for Compositionally Solving String Diagrams of Parity Games.

Kazuki Watanabe

Browse the full CALCO paper archive.