Proving congruence of bisimulation in functional programming languages (1996)

Cached

Download Links

by Douglas J. Howe
Venue:Information and Computation
Citations:106 - 1 self