Fixpoint semantics and simulation

Wim H. Hesselink, Albert Thijs. Fixpoint semantics and simulation. Theoretical Computer Science, 238(1-2):275-311, 2000. [doi]

Abstract

Abstract is missing.