A Theory of Weak Bisimulation for Core CML (1993)

Cached

Download Links

by William Ferreira , Matthew Hennessy , Alan Jeffrey
Venue:J. Functional Programming
Citations:39 - 7 self