Capobianco, Silvio

• BRICS Report Series No. 5 (2007): RS-5 On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt - Articles
  On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt
  Abstract  PDF