eprintid: 306
rev_number: 9
eprint_status: archive
userid: 32
dir: disk0/00/00/03/06
datestamp: 2011-06-06 12:46:30
lastmod: 2011-07-11 14:36:25
status_changed: 2011-06-06 12:46:30
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_id: r.denicola@imtlucca.it
title: Languages and Process Calculi for Network Aware Programming - Short Summary -
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: We describe motivations and background behind the design of Klaim, a process description language that has proved to be suitable for describing a wide range of applications distributed over wide area networks with agents and code mobility. We argue that a drawback of Klaim is that it is neither a programming language, nor a process calculus. We then outline the two research directions we have recently pursued. On the one hand we have evolved Klaim to a full-fledged language for highly distributed mobile programming. On the other hand we have distilled the language to a number of simple calculi that we have used to define new semantic theories and equivalences and to test the impact of new operators for network aware programming. 
date: 2005
date_type: published
series: Lecture Notes in Computer Science
volume: 3722
publisher: Springer
pagerange: 49-52
id_number: 10.1007/11560647_3
refereed: TRUE
isbn: 3-540-29107-5
book_title: Theoretical Aspects of Computing (ICTAC 2005)
editors_name: Van Hung, Dang
editors_name: Wirsing, Martin
official_url: http://dx.doi.org/10.1007/11560647_3
citation:   De Nicola, Rocco  Languages and Process Calculi for Network Aware Programming - Short Summary -.   In:  Theoretical Aspects of Computing (ICTAC 2005).   Lecture Notes in Computer Science, 3722 .  Springer, pp. 49-52.  ISBN 3-540-29107-5      (2005)