Testing Semantics for Unbounded Nondeterminism

Luis Fernando Llana Díaz, Manuel Núñez. Testing Semantics for Unbounded Nondeterminism. In Christian Lengauer, Martin Griebl, Sergei Gorlatch, editors, Euro-Par 97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings. Volume 1300 of Lecture Notes in Computer Science, pages 538-545, Springer, 1997.

Abstract

Abstract is missing.