De Nicola, Rocco From Process Calculi to Klaim and Back. Electronic Notes in Theoretical Computer Science, 162. pp. 159-162. ISSN 1571-0661 (2006)
|
PDF
- Published Version
Available under License Creative Commons Attribution No Derivatives. Download (141kB) | Preview |
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.
| Item Type: | Article |
|---|---|
| Identification Number: | https://doi.org/10.1016/j.entcs.2005.12.110 |
| Additional Information: | Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25) |
| Uncontrolled Keywords: | Process Algebras; Network Aware Programming; Behavioural Equivalences; Formal Specifications; Systems Verification |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Rocco De Nicola |
| Date Deposited: | 24 May 2011 09:53 |
| Last Modified: | 08 Oct 2014 08:57 |
| URI: | http://eprints.imtlucca.it/id/eprint/297 |
Actions (login required)
 |
Edit Item |
