Logic for Multi-path Message Forwarding Networks

M. Kurihara and M. Numazawa (Japan)


Multi-path Message Forwarding Networks, Mobile Agents


We present the general idea of a class of communi cation networks called the multi-path message forwarding networks (MMFNs), which can transmit the messages to mobile agents at the current location in a robust way based on multiple paths between the nodes and the target. The networks are formally defined in terms of graph theory, and the dynamic nature of the networks (i.e., how they evolve) is represented by a logical system, named Ln, consisting of six inference rules. It is shown that the system is sound in the sense that it generates only MMFNs. A computational interpretation of Ln is also discussed.

Important Links:

Go Back