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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.