ri-lmpmc-formalization/COPYING, branch main Artifact for Research Internship: Linkable MPMC queues in Iris https://git.fautchen.eu/ri-lmpmc-formalization.git/atom?h=main 2026-07-10T14:19:29Z Add license 2026-07-10T14:19:29Z Rutger Broekhoff 2026-07-10T14:19:29Z urn:sha1:2f462cc2af479466e8941150dae368a9d559b962