An algebraic model of observable properties in distributed systems.

Luca Bernardinello Carlo Ferigato Lucia Pomello

Published in: Theor. Comput. Sci. (2003)

Keyphrases

distributed systems
databases
probabilistic model
database
management system
load balancing
model checking
manufacturing systems