Powerdomains, powerstructures and fairness

Autor:	Glen T. Whitney, Yiannis N. Moschovakis
Rok vydání:	1995
Předmět:	Discrete mathematics Concurrency Kleene's recursion theorem Countable set Program transformation Context (language use) Quotient Plot (graphics) Mathematics
Zdroj:	Computer Science Logic ISBN: 9783540600176 CSL
DOI:	10.1007/bfb0022270
Popis:	We introduce the framework of powerstructures for comparing models of non-determinism and concurrency, and we show that in this context the Plotkin powerdomain plot(D) [6] naturally occurs as a quotient of a refined and generalized player model ipf (D), following Moschovakis [2, 3]. On the other hand, Plotkin's domains for countable non-determinism plotω(D) [7] are not comparable with these structures, as they cannot be realized concretely in the powerset of D.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::5a11f0423952a448b98aa42971c10291 https://doi.org/10.1007/bfb0022270 Zobrazit plný text záznamu