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

Abstract

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… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics