[discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.
Primary LanguageErlang