1 Behavioral Programming A review of recent research: ECOOP’10, ASE’10, ICFP’10, ICPC’11, EMSOFT’11, AGERE’11, ICTAI’11 David Harel, Assaf Marron, Smadar.
1 Model-Checking Behavioral Programs Assaf Marron Weizmann Institute of Science.
Model-Checking Behavioral Programs
Behavioral Programming A review of recent research: