Indeterminacy in concurrent computation: Difference between revisions

Revision as of 22:41, 16 April 2013

Revision as of 22:44, 16 April 2013

Line 1:

{{essay|date=November 2010}}

'''Indeterminacy in concurrent computation''' is concerned with the effects of [[indeterminacy]] in [[concurrent computation]].[http://what-is-computation.carlhewitt.info Carl Hewitt. ''What is computation? Actor Model versus Turing’s Model'' A Computable Universe, World Scientific Publishing Company. 2012.]

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 give rise to [[indeterminacy]].

Line 47:

==References==

*[http://what-is-computation.carlhewitt.info Carl Hewitt. ''What is computation? Actor Model versus Turing’s Model'' A Computable Universe, World Scientific Publishing Company. 2012.]

*[[Carl Hewitt]] [http://what-is-computation.carlhewitt.info ''What is computation? Actor Model versus Turing's Model''] in A Computable Universe: Understanding Computation & Exploring Nature as Computation. Dedicated to the memory of Alan M. Turing on the 100th anniversary of his birth. Edited by Hector Zenil. World Scientific Publishing Company. 2012

*Carl Hewitt. '''PLANNER: A Language for Proving Theorems in Robots''' [[IJCAI]] 1969.