Artifact for FM'26 paper: Specializing anti-unification for interaction models composition via gate connections

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

Read full text
Authors: Joel Nguetoum, Boutheina Bannour, Pascale Le Gall, Erwan Mahe
DOI: 10.5281/zenodo.18636309
Cited by: 1

Abstract

Artifact for FM'26 paper: Specializing anti-unification for interaction models composition via gate connections This artifact is distributed as a Docker image archive named 'generalizer.tar.gz', built for the linux/amd64 architecture. Detailed instructions for loading, configuring, and running the artifact are provided in the accompanying README.pdf file.

Publication details

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