Symbolic Bisimulation for Open and Parameterized Systems

POPL 2020