Revision history of "Nondeterminism"

From BP Wiki
Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • (cur | prev) 09:47, 19 March 2014‎ BpAdmin (Talk | contribs)‎ . . (2,682 bytes) (+20)‎ . . (→‎Nondeterministic execution in BPJ model checking)
  • (cur | prev) 14:13, 4 August 2013‎ Assaf (Talk | contribs)‎ . . (2,662 bytes) (+2,662)‎ . . (New page: = Nondeterministic execution in BPmc = In common processing event selection in BP is deterministic. However, in some cases it is desired to specify nondetermistic choices - e.g., when simu...)
Retrieved from "https://wiki.weizmann.ac.il/bp/index.php?title=Nondeterminism"