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

Document Versions

A Theory of Weak Bisimulation for Core CML –William Ferreira, Matthew Hennessy, Alan Jeffrey — 1993 — J. Functional Programming
A theory of weak bisimulation for core cml –William Ferreira, Matthew Hennessy, Alan Jeffrey — 1998 — J. Functional Programming