There is no Fully Abstract Fixpoint Semantics for Non-Deterministic Languages with Infinite Computations

Sven-Olof Nyström. There is no Fully Abstract Fixpoint Semantics for Non-Deterministic Languages with Infinite Computations. Inf. Process. Lett., 60(6):289-293, 1996. [doi]

Abstract

Abstract is missing.