Revision as of 15:58, 12 October 2010 edit SmackBot (talk \| contribs) 3,734,324 edits m →Kinds of indeterminacy: Subst: {{unsigned}} (& regularise templates) ← Previous edit		Revision as of 01:17, 29 May 2012 edit undo 142.167.186.3 (talk) →Indeterminacy definition is looped: new section Next edit →
Line 159: The hard part is formalizing concurrency. The formalization of [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.954 ISO Prolog] does not have any concurency. The physical indeterminacy of hardware used in the implementation of concurrent programming languages results in indeterminacy in the behavior of programs. It is well known that concurent programs cannot be reduced to pure logic (see [http://arxiv.org/abs/0812.4852 Common sense for concurrency and inconsistency tolerance using Direct Logic(TM) and the Actor Model]). [[Special:Contributions/64.134.238.26\|64.134.238.26]] ([[User talk:64.134.238.26\|talk]]) 20:54, 20 August 2010 (UTC) == Indeterminacy definition is looped == The word "indeterminacy" is linked to some pages - which bring you back to here!

Talk:Indeterminacy in concurrent computation: Difference between revisions