Specializing Anti-unification for Interaction Models Composition via Gate Connections.

Joel Nguetoum, Boutheina Bannour, Pascale Le Gall, Erwan Mahe

Browse the full FM paper archive.