Register-machine based processes.

ग्रंथसूची विवरण
में प्रकाशित:	Journal of the ACM 48, 6 (2001).
मुख्य लेखक:	Bergstra, Jan A.
स्वरूप:	लेख
भाषा:	English
विषय:	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.