The concurrency features strike me as being influenced strongly by Hoare's CSP[1]. The flowchart like interface seems akin to Harel's reactive diagramming formalisms[2].

[1] http://www.usingcsp.com/

[2] http://www.scribd.com/doc/167971960/Modeling-Reactive-System...