Pascale Le Gall

Specializing Anti-unification for Interaction Models Composition via Gate Connections

2026 · Lecture notes in computer science

Abstract Interaction models describe distributed systems as algebraic terms, with gates marking interaction points between local views. Composing local models into a coherent global one requires aligning these gates while respecting the algebraic laws of …