Luca Bernardinello;Lucia Pomello
-;-
An algebraic model of observable properties in distributed systems
Theoretical Computer Science