Nicolas Halbwachs About Synchronous Programming and Abstract Interpretation. 75-89 1998 31 Sci. Comput. Program. 1 db/journals/scp/scp31.html#Halbwachs98