Formal Modelling and Analysis of Distributed Storage Systems.

Jordan de la Houssaye Franck Pommereau Philippe Deniel

Published in: PNSE @ Petri Nets (2016)

Keyphrases

storage systems
distributed storage
distributed environment
database systems
databases
management system
nearest neighbor
sensor networks
data warehouse
computing environments
single point of failure