About Synchronous Programming and Abstract Interpretation

Nicolas Halbwachs. About Synchronous Programming and Abstract Interpretation. Science of Computer Programming, 31(1):75-89, 1998.

Abstract

Abstract is missing.