[Iris-Club] Acryonym: what does the CMRA stand for?

Ralf Jung jung at mpi-sws.org
Thu Aug 4 11:01:36 CEST 2016


> 1. CMRA stands for "complete metric resource algebra" (or something
> like that: we could never find a very suitable acronym).

Yeah, that was my original thinking... the acronym never really made
sense, but at least it was pronounceable. ;)

> 2. The logic was originally called ROSE (standing for "resources,
> ownership, separation, and I don't know what the E stood for")

"E" was for "encapsulation".

Kind regards,

More information about the Iris-Club mailing list