not a nuclear control system, but embedded monitor (slide 26: http://www.galois....

		gtani on Nov 30, 2011 \| parent \| context \| favorite \| on: Yammer moving from Scala to Java not a nuclear control system, but embedded monitor (slide 26: http://www.galois.com/~leepike/fm-galois.pdf