Parallel and Distributed Processing Symposium, International (2008)
Miami, FL, USA
Apr. 14, 2008 to Apr. 18, 2008
D Janakiram , Distributed&Object Systems Lab, Department of Computer Science&Engg., Indian Institute of Technology, Madras, India
Vijay Srinivas Agneeswaran , Distributed Information Systems Lab (LSIR), School of Information and Communication Sciences Swiss Federal Institute of Technology, Lausanne(EPFL), Switzerland
Formal approaches for analyzing and designing large scale distributed systems can be very useful. They could enable reasoning about properties such as correctness, deadlocks or livelocks. In addition they can help in handling the complexity of building large scale distributed systems, particularly Peer-to-Peer grid computing systems. These systems are complex due to the scale of operation, autonomous nature of nodes, dynamicity of the underlying network, failure proneness of nodes etc. This prevents the use of synchronized clocks and reasoning about the system using global time.
D Janakiram, Vijay Srinivas Agneeswaran, "A complex system inspired theoretical formalism for data management in Peer-to-Peer grids", Parallel and Distributed Processing Symposium, International, vol. 00, no. , pp. 1-8, 2008, doi:10.1109/IPDPS.2008.4536376