other languages, related research

[Ben]

I'm very interested in the ideas related to jTime. Instead of using Javascript a possibility would be using the underlying libuv [1], nanomsg [2] or zeroMQ [3] to define such semantics for any language.

[1] https://github.com/joyent/libuv
[2] https://github.com/nanomsg/nanomsg
[3] http://zeromq.org

More work on the theoretical side:

http://en.wikipedia.org/wiki/Actor_model
http://en.wikipedia.org/wiki/Temporal_logic
http://en.wikipedia.org/wiki/Communicating_sequential_processes
http://en.wikipedia.org/wiki/Hoare_logic