Register-machine based processes. - Bergstra, Jan A.
Keywords: Software; Programming languages; Formal definitions and theory; Theory of computation; Computation by abstract devices; Models of computation; Modes of computation; Logics and meanings of programs; Specifying and Verifying and Reasoning about Programs; Specification techniques; Semantics of programming languages; Algebraic approaches to semantics; Mathematical logic and formal languages; Formal languages; Decision problems; Theory