Correctness in a Computational Process.

Mark Burgin, Narayan C. Debnath

Browse the full CATA paper archive.