Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs (1991)

Cached

Download Links

by Bengt Jonsson , Joachim Parrow
Citations:37 - 9 self