Content deleted Content added
m →References: task, replaced: IEEE Transactions on Systems, Man and Cybernetics → IEEE Transactions on Systems, Man, and Cybernetics |
Maxeto0910 (talk | contribs) added multiple issues hatnote Tags: Mobile edit Mobile web edit Advanced mobile edit |
||
| (5 intermediate revisions by 4 users not shown) | |||
Line 1:
{{multiple|
{{Essay|date=November 2010}}
{{Citation style|date=March 2014}}
}}
'''Indeterminacy in concurrent computation''' is concerned with the effects of [[nondeterministic algorithm|indeterminacy]] in [[concurrent computation]]. Computation is an area in which indeterminacy is becoming increasingly important because of the massive increase in concurrency due to networking and the advent of [[multi-core processor|many-core]] computer architectures. These computer systems make use of [[arbiter (electronics)|arbiters]] which gives rise to [[nondeterministic algorithm|indeterminacy]].
Line 31 ⟶ 30:
==Prolog-like concurrent systems were claimed to be based on mathematical logic==
[[Keith Clark (computer scientist)|Keith Clark]], Hervé Gallaire, Steve Gregory, Vijay Saraswat, Udi Shapiro, Kazunori Ueda, etc. developed a family of [[Prolog]]-like concurrent message passing systems using unification of shared variables and data structure streams for messages.
Carl Hewitt and Gul Agha [1991] argued that these Prolog-like concurrent systems were neither deductive nor logical: like the Actor model, the Prolog-like concurrent systems were based on message passing and consequently were subject to the same indeterminacy.
Line 69 ⟶ 68:
==External links==
*[http://channel9.msdn.com/Shows/Going+Deep/Hewitt-Meijer-and-Szyperski-The-Actor-Model-everything-you-wanted-to-know-but-were-afraid-to-ask Hewitt, Meijer and Szyperski: The Actor Model (everything you wanted to know, but were afraid to ask)] Microsoft Channel 9. April 9, 2012.
{{Concurrent computing}}
[[Category:Actor model (computer science)]]
| |||