Characterizing Recursive Programs Up To Bisimilarity

by Paul Blain Levy