relation: http://eprints.imtlucca.it/305/
title: Basic Observables for a Calculus for Global Computing
creator: De Nicola, Rocco
creator: Gorla, Daniele
creator: Pugliese, Rosario
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer
contributor: Caires, Luis
contributor: F. Italiano, Giuseppe
contributor: Monteiro, Luis
contributor: Palamidessi, Catuscia
contributor: Yung, Moti
date: 2005
type: Book Section
type: PeerReviewed
identifier:   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)  
relation: http://dx.doi.org/10.1007/11523468_99
relation: 10.1007/11523468_99