The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
and fairness. ... Sci., 933, Springer, Berlin, 1995 Summary: “We introduce the framework of powerstructures for comparing models of nondeterminism and concurrency, and we show that in this context the Plotkin powerdomain ...
Lecture Notes in Computer Science
We develop an operational theory of higher-order functions, recursion, and fair non-determinism for a non-trivial, higher-order, callby-name functional programming language extended with McCarthy's amb ... We develop two sound and useful reasoning methods which, in combination, enable us to prove a rich collection of laws for contextual equivalence and also provide a unique xed point induction rule, the ... Possibly, Moschovakis' powerstructures 16] are an alternative candidate for a model of a higher-order language with fair non-determinism. ...doi:10.1007/3-540-48340-3_18 fatcat:vyhitovwoja4vit2z6rvex7cle
Powerdomains, powerstructures and fairness. (English summary) 98h:68158 Mosses, Peter D. Theory and practice of action semantics. ... (English summary) (see 98i:68006) Nolte, Doris (with Priese, Lutz) Abstract fairness and semantics. ...
English and Chinese summaries) Moschovakis, Yiannis N. (with Whitney, Glen T.) Powerdomains, powerstructures and fairness. ... The convex powerdomain in a category of posets realized by cpos. (English summary) 984:68136 Sdnderhauf, Philipp Tensor products and powerspaces in quantitative domain theory. ...
We study relative computability for processes and process transformations, in general, and in particular the non-deterministic and concurrent processes which can be specified in terms of various fair merge ... The precise results are about the player model of concurrency introduced in Moschovakis (1991), which supports both fairness constructs and full recursion. ... Whitney has obtained similar "embedding" results for the Hoare and Smyth powerdomains  . ...doi:10.1016/0304-3975(94)00117-2 fatcat:id6dinjhlrcb3l6fksls272jna
Powerdomains, powerstructures and fairness. (English summary) Computer science logic (Kazimierz, 1994), 382-396, Lecture Notes in Comput. Sci., 933, Springer, Berlin, \995. ... English and Russian summaries) Teoret. Mat. Fiz. 104 (1995), no. 3, 420-428; translation in Theoret. and Math. Phys. 104 (1995), no. 3, 1098-1103 (1996). ...