TTL : a formalism to describe local and global properties of distributed systems A. Masini; A. Maggiolo-Schettini — 1992 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications