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