DMCA

A Theory of Weak Bisimulation for Core CML (1993)

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