Completeness of ASM Refinement

Gerhard Schellhorn. Completeness of ASM Refinement. Electronic Notes in Theoretical Computer Science, 214:25-49, 2008. [doi]

Abstract

Abstract is missing.