Super-Recursive Algorithms in Testing Distributed Systems.

M. Burgin Narayan C. Debnath Super-Recursive Algorithms in Testing Distributed Systems. 209-214 2009 CATA conf/cata/2009 db/conf/cata/cata2009.html#BurginD09