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.
Global Computing in a Dynamic Network of Tuple Spaces / DE NICOLA, R; Gorla, Daniele; Pugliese, R.. - STAMPA. - LNCS 3454:(2005), pp. 157-172. (Intervento presentato al convegno COORDINATION 2005 tenutosi a Namur (Belgium) nel April 20-23, 2005) [10.1007/11417019_11].
Global Computing in a Dynamic Network of Tuple Spaces
GORLA, DANIELE;
2005
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.