@article{ITA_1992__26_2_115_0,
     author = {Masini, A. and Maggiolo-Schettini, A.},
     title = {TTL : a formalism to describe local and global properties of distributed systems},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {115--149},
     publisher = {EDP-Sciences},
     volume = {26},
     number = {2},
     year = {1992},
     mrnumber = {1166784},
     zbl = {0766.68035},
     language = {en},
     url = {http://archive.numdam.org/item/ITA_1992__26_2_115_0/}
}