De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Global Computing in a Dynamic Network of Tuple Spaces. In: Coordination Models and Languages (COORDINATION 2005). Lecture Notes in Computer Science, 3454 . Springer, pp. 157-172. ISBN 3-540-25630-X (2005)
Full text not available from this repository.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.
| Item Type: | Book Section |
|---|---|
| Identification Number: | https://doi.org/10.1007/11417019_11 |
| Funders: | This work has been partially supported by EU FET – Global Computing initiative project MIKADO IST-2001-32222. |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Rocco De Nicola |
| Date Deposited: | 27 May 2011 13:30 |
| Last Modified: | 11 Jul 2011 14:36 |
| URI: | http://eprints.imtlucca.it/id/eprint/301 |
Actions (login required)
 |
Edit Item |
