BehaviouralProgramming

Context : ProgrammingStuff

A new methodology / technique for programming reactive systems.

http://www.wisdom.weizmann.ac.il/~harel/papers/Behavioral%20programming%20.pdf