Published 3Jan2013, updated 20Nov2018 This page is in group Technology. In this blog I will jot down some experience with installation and use of the FDR2 tool [1] which analyses CSP (Communicating Sequential Processes) specifications [5]. My experience is that I try to avoid Unix, OSX, Terminal and bash scripting. But here is my last journey into it. Important notice about […]

This page is in group Technology. History 3jan2013 initial, without comments 14Mar2013: Comments #1. Rolv Bræk 2July2013: [1.B] and [12] are new 20Jan2014, inserted [13] 28Sept2016, inserted Notes on SDL runtimes 11Oct2023, Telox mentioned Intro I hope that somebody from the SDL (Specification and Description Language) community [1],[3] will find these points interesting to reflect […]

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 […]