TY - JOUR AU - Aceto, Luca AU - Capobianco, Silvio AU - Ingólfsdóttir, Anna PY - 2007/02/12 Y2 - 2024/03/28 TI - On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt JF - BRICS Report Series JA - BRICS VL - 14 IS - 5 SE - Articles DO - 10.7146/brics.v14i5.21928 UR - https://tidsskrift.dk/brics/article/view/21928 SP - AB - We study Basic Process Algebra with interrupt modulo complete trace equivalence. We show that, unlike in the setting of the more demanding bisimilarity, a ground complete finite axiomatization exists. We explicitly give such an axiomatization, and extend it to a finite complete one in the special case when a single action is present. ER -