On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt

Luca Aceto
Silvio Capobianco
Anna Ingólfsdóttir

February 2007

Abstract:

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

Available as PostScript, PDF, DVI.

 

Last modified: 2007-03-26 by webmaster.