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.

Abstract

Abstract is missing.