Optimisation of algebraic event structure using trace equivalence based on Gröbner basis

Weidong Tang, Weiwen Ge, Meiling Liu. Optimisation of algebraic event structure using trace equivalence based on Gröbner basis. IJCSM, 22(1):76-89, 2025. [doi]

Abstract

Abstract is missing.