Bisimulation as performance equivalence criterion: (max,+) case (1998)

by Y Fujiwara