The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 5267 of Mathematical Reviews Vol. , Issue 98H
[page]
1998
Mathematical Reviews
Preserved Fulltext
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 ...
Unique Fixed Point Induction for McCarthy's Amb
[chapter]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Page 1572 of Mathematical Reviews Vol. , Issue Index
[page]
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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. ...
Page 196 of Mathematical Reviews Vol. , Issue Index
[page]
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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. ...
Computable concurrent processes
1995
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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 [22] . ...
doi:10.1016/0304-3975(94)00117-2
fatcat:id6dinjhlrcb3l6fksls272jna
Page 1135 of Mathematical Reviews Vol. , Issue Index
[page]
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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). ...