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

[Ralf Jung]

Hi,

> 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,
Ralf