1 citations · 3 across the 11 of their papers we have counts for
1 paper · 1 filter
Alexander Kolpakov
We represent the modular enlargement of an executable model by a pushout of finite typed presentations. Adhesivity preserves the original model and recovers the shared interface, w…