Bisimulation for Lattice-valued Transition Systems.

Haiyu Pan, Min Zhang, Yixiang Chen

Browse the full TASE paper archive.