@dblp

"E-correctness" of a set of "computation processes".

, , and . Mathematical Studies of Information Processing, volume 75 of Lecture Notes in Computer Science, page 282-301. Springer, (1978)

Links and resources

Tags