Logo eprints

Basic Observables for a Calculus for Global Computing

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Basic Observables for a Calculus for Global Computing. In: Automata, Languages and Programming (ICALP 2005). Lecture Notes in Computer Science, 3580 . Springer, pp. 1226-1238. ISBN 3-540-27580-0 (2005)

Full text not available from this repository.


We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribution, mobility, remote operations and asynchronous communication through distributed data spaces, the language provides constructs for explicitly modelling inter-node connections and for dynamically establishing and removing them. For the proposed language, we define natural notions of extensional observations and study their closure under operational reductions and/or language contexts to obtain barbed congruence and may testing equivalence. For such equivalences, we provide alternative characterizations in terms of a labelled bisimulation and a trace equivalence that can be used for actual proofs.

Item Type: Book Section
Identification Number: 10.1007/11523468_99
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Rocco De Nicola
Date Deposited: 25 May 2011 12:02
Last Modified: 11 Jul 2011 14:36
URI: http://eprints.imtlucca.it/id/eprint/305

Actions (login required)

Edit Item Edit Item