Login / Signup
Formal Modelling and Analysis of Distributed Storage Systems.
Jordan de la Houssaye
Franck Pommereau
Philippe Deniel
Published in:
Trans. Petri Nets Other Model. Concurr. (2017)
Keyphrases
</>
storage systems
database
data structure
digital libraries
distributed storage
multi dimensional
distributed systems
user friendly
fault tolerant