Andrea Masini, Andrea Maggiolo-Schettini. TTL: A formalism to describe local and global properties of distributed systems. ITA, 26:115-162, 1992.
@article{MasiniM92, title = {TTL: A formalism to describe local and global properties of distributed systems}, author = {Andrea Masini and Andrea Maggiolo-Schettini}, year = {1992}, researchr = {https://researchr.org/publication/MasiniM92}, cites = {0}, citedby = {0}, journal = {ITA}, volume = {26}, pages = {115-162}, }