eprintid: 305
rev_number: 10
eprint_status: archive
userid: 32
dir: disk0/00/00/03/05
datestamp: 2011-05-25 12:02:56
lastmod: 2011-07-11 14:36:25
status_changed: 2011-05-25 12:02:56
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_name: Gorla, Daniele
creators_name: Pugliese, Rosario
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
title: Basic Observables for a Calculus for Global Computing
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: 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.
date: 2005
date_type: published
series: Lecture Notes in Computer Science
volume: 3580
publisher: Springer
pagerange: 1226-1238
id_number: 10.1007/11523468_99
refereed: TRUE
isbn: 3-540-27580-0
book_title: Automata, Languages and Programming (ICALP 2005)
editors_name: Caires, Luis
editors_name: F. Italiano, Giuseppe
editors_name: Monteiro, Luis
editors_name: Palamidessi, Catuscia
editors_name: Yung, Moti
official_url: http://dx.doi.org/10.1007/11523468_99
citation:   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)