Filters








6 Hits in 0.64 sec

Page 5267 of Mathematical Reviews Vol. , Issue 98H [page]

1998 Mathematical Reviews  
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]

Søren B. Lassen, Andrew Moran
1999 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

Page 1572 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
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  
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

Yiannis N. Moschovakis
1995 Theoretical Computer Science  
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  
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).  ...