Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing - Rocq Mechanisation

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Jonas Kastberg Hinrichsen, Quémerais Iwan, Lars Birkedal
DOI: 10.5281/zenodo.18749895
Cited by: 1

Abstract

Rocq Mechanisation artifact for the OOPSLA'26 paper: "Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing" See included README for more details.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
23 February 2026