Published 31Dec2012, updated 30Nov2021 This page is in groups Technology, My Go (golang) notes and My XMOS pages. This blog note has been moved from http://oyvteig.blogspot.no/2012/04/045-nondeterministic-note-about.html. I have written a little about nondeterminism before [1], [2]. [1] is about Ada and the Ravenscar Profile for safety-critical systems. The newer note IEC 61508 and (safe?) concurrency also covers the matter somewhat. Observe that (non)determinsm […]

Also see Google Scholar «Øyvind Teig» here About These blogs are «mine», but I try to spice them with other people’s opinion as expressed to me, most often if people do reply to a mail. If so, I always ask for permission. The more I blog the more I realise that I am not a computer scientist, and […]

Published Sept2012, updated 9May2021 This page is in groups Technology and My Go (golang) notes. Intro After I had done most of this blog note I started a thread in golang-nuts, also called «Priority select in Go» pointing back to this page, see [7]. It grew quite long. Log-on is required. There also was an earlier thread […]