An algebraic model of observable properties in distributed systems

Luca Bernardinello, Carlo Ferigato, Lucia Pomello. An algebraic model of observable properties in distributed systems. Theoretical Computer Science, 290(1):637-668, 2003.

Abstract

Abstract is missing.