@incollection{eprints301,
       publisher = {Springer},
          series = {Lecture Notes in Computer Science},
           pages = {157--172},
            year = {2005},
       booktitle = {Coordination Models and Languages (COORDINATION 2005)},
          author = {Rocco De Nicola and Daniele Gorla and Rosario Pugliese},
          volume = {3454},
           title = {Global Computing in a Dynamic Network of Tuple Spaces},
          editor = {Marie Jacquet and Gian Pietro  Picco},
             url = {http://eprints.imtlucca.it/301/},
        abstract = {We present a calculus inspired by Klaim whose main features are: explicit process distribution and node interconnections, remote operations, process mobility and asynchronous communication through distributed tuple spaces. We first introduce a basic language where connections are reliable and immutable; then, we enrich it with two more advanced features for global computing, i.e. failures and dynamically evolving connections. In each setting, we use our formalisms to specify some non-trivial global computing applications and exploit the semantic theory based on an observational equivalence to equationally establish properties of the considered case-studies.}
}