Invariance and Contraction by Infinite Iterations of Relations

Michel Sintzoff. Invariance and Contraction by Infinite Iterations of Relations. In Jean-Pierre Banâtre, Daniel Le Métayer, editors, Research Directions in High-Level Parallel Programming Languages, Mont Saint-Michel, France, June 17-19, 1991, Procedings. Volume 574 of Lecture Notes in Computer Science, pages 349-373, Springer, 1991.