Formal Modelling and Initial Validation of the Chelonia Distributed Storage System.

Sami Taktak Lars Michael Kristensen

Published in: GPC (2011)

Keyphrases

distributed systems
computing environments
distributed environment
cooperative
formal model
distributed architecture
distributed network
information retrieval
peer to peer
computer networks
file system
loosely coupled
neural network
information systems
fault tolerant
distributed processing