A Modular Logic Approach for P2P Networks: A Deductive Object Oriented Framework for P2P Networks

This paper presents a deductive object oriented framework that is capable to model P2P networks. The framework is superimposed over a basic language based on modules. A small set of operators are logically defined and semantically justified in terms of the basic logic programming semantics. Nodes in the network correspond to objects that can exchange messages.