About synchronous programming and abstract interpretation
scientific article; zbMATH DE number 1383801