Global Computing in a Dynamic Network of Tuple Spaces

WepresentacalculusinspiredbyKlaimwhosemainfeaturesare:ex- plicit 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 for- malisms to specify some non-trivial global computing applications and exploit the semantic theory based on an observational equivalence to equationally estab- lish properties of the considered case-studies.