%0 Journal Article
%A Masini, A.
%A Maggiolo-Schettini, A.
%T TTL : a formalism to describe local and global properties of distributed systems
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1992
%P 115-149
%V 26
%N 2
%I EDP-Sciences
%U http://archive.numdam.org/item/ITA_1992__26_2_115_0/
%G en
%F ITA_1992__26_2_115_0