Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods.

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Browse the full LICS paper archive.