[Iris-Club] Acryonym: what does the CMRA stand for?
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".
More information about the Iris-Club