Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

BLP01 (In proceedings)
Author(s) Lorenzo Bettini, Michele Loreti and Rosario Pugliese
Title« Modelling Node Connectivity in Dynamically Evolving Networks »
InConCoord International Workshop on Concurrency and Coordination
SeriesENTCS
Volume54
Year2001
PublisherElsevier
URLhttp://music.dsi.unifi.it/papers/clusters.ps.gz
Abstract
Node connectivity is a key aspect of dynamically evolving networks. We address the problem of expressing, and constraining, node connectivity at a linguistic level. We extend the language Klaim (Kernel Language for Agent Interaction and Mobility), that already provides primitives to explicitly configure the topology of networks, with the notion of clusters of nodes. This feature permits explicitly grouping nodes thus expressing, and constraining, their communication ability: two nodes can interact only if they are in the same cluster. Clusters can be used to model many real situations in a natural way and to easily express a number of basic properties of node connectivity, such as, e.g., locality and distribution of nodes, efficiency, and fault tolerance. However, they do not add expressive power to the language: to some extent, the extended language can be translated into the original one.

BibTeX code

@inproceedings{BLP01,
  volume = {54},
  author = {Bettini, Lorenzo and Loreti, Michele and Pugliese, Rosario},
  series = {ENTCS},
  booktitle = {ConCoord International Workshop on Concurrency and Coordination},
  url = {http://music.dsi.unifi.it/papers/clusters.ps.gz},
  title = {{Modelling Node Connectivity in Dynamically Evolving Networks}},
  abstract = {Node connectivity is a key aspect of dynamically evolving
              networks. We address the problem of expressing, and constraining,
              node connectivity at a linguistic level. We extend the language
              Klaim (Kernel Language for Agent Interaction and Mobility), that
              already provides primitives to explicitly configure the topology
              of networks, with the notion of clusters of nodes. This feature
              permits explicitly grouping nodes thus expressing, and
              constraining, their communication ability: two nodes can interact
              only if they are in the same cluster. Clusters can be used to
              model many real situations in a natural way and to easily express
              a number of basic properties of node connectivity, such as, e.g.,
              locality and distribution of nodes, efficiency, and fault
              tolerance. However, they do not add expressive power to the
              language: to some extent, the extended language can be translated
              into the original one. },
  publisher = {Elsevier},
  year = {2001},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!