Super-Recursive Algorithms in Testing Distributed Systems.

Mark Burgin, Narayan C. Debnath

Browse the full CATA paper archive.