Several literature on the subject which has not been mentioned in this article: - Behavioral Programming http://www.wisdom.weizmann.ac.il/~bprogram/ http://www

Several literature on the subject which has not been mentioned in this article: - Behavioral Programming http://www.wisdom.weizmann.ac.il/~bprogram/ http://www.wisdom.weizmann.ac.il/~bprogram/ - Live Sequence Charts (LSCs) http://wiki.weizmann.ac.il/playgo/index.php/Live_sequence_charts http://wiki.weizmann.ac.il/playgo/index.php/Live_sequence_ch...