Hennessy, M. C. B. Powerdomains and nondeterministic recursive definitions. (English) Zbl 0486.68009 Programming, Proc. int. Symp., 5th Colloq., Turin 1982, Lect. Notes Comput. Sci. 137, 178-193 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 7 Documents MSC: 68N01 General topics in the theory of software 68Q60 Specification and verification (program logics, model checking, etc.) Keywords:nondeterministic evaluation; fully-abstract models; call-by-value; run- time choice; call-time choice; operational semantics; operational preorders between programs; powerdomains; computable elements PDF BibTeX XML OpenURL