[jmm-dev] Jmm revision status

Francesco Zappa Nardelli francesco.zappa_nardelli at inria.fr
Fri Jul 18 11:26:04 UTC 2014


Dear all

> An update from our side: I'm attaching a draft version of the paper that Peter mentioned.

It seems that the attachment didn't made to the list.  Anyway, the draft is available from:

  http://www.di.ens.fr/~zappa/readings/c11comp.pdf

Best
-francesco


More information about the jmm-dev mailing list