TTL: A formalism to describe local and global properties of distributed systems

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},
}