A Rule-based Approach to the Decidability of Safety of ABACα.

Mircea Marin, Temur Kutsia, Besik Dundua

Browse the full SACMAT paper archive.