eprintid: 297
rev_number: 9
eprint_status: archive
userid: 32
dir: disk0/00/00/02/97
datestamp: 2011-05-24 09:53:16
lastmod: 2014-10-08 08:57:48
status_changed: 2011-05-24 09:53:16
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_id: r.denicola@imtlucca.it
title: From Process Calculi to Klaim and Back
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Process Algebras; Network Aware Programming; Behavioural Equivalences; Formal Specifications; Systems Verification
note: Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25)
abstract: We briefly describe the motivations and the background behind the design of Klaim, a process description language that has proved to be suitable for describing a wide range of distributed applications 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 pursued more recently. On the one hand we have evolved Klaim to a full-fledged language for distributed mobile programming. On the other hand we have distilled the language into 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: 2006
date_type: published
publication: Electronic Notes in Theoretical Computer Science
volume: 162
publisher: Elsevier
pagerange: 159-162
id_number: 10.1016/j.entcs.2005.12.110
refereed: TRUE
issn: 1571-0661
official_url: http://www.sciencedirect.com/science/article/pii/S1571066106004269
citation:   De Nicola, Rocco  From Process Calculi to Klaim and Back.  Electronic Notes in Theoretical Computer Science, 162.  pp. 159-162.  ISSN 1571-0661      (2006)  
document_url: http://eprints.imtlucca.it/297/1/DeNicola2006.pdf