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)
Full text not available from this repository.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.
| Item Type: | Book Section |
|---|---|
| Identification Number: | https://doi.org/10.1007/11560647_3 |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Rocco De Nicola |
| Date Deposited: | 06 Jun 2011 12:46 |
| Last Modified: | 11 Jul 2011 14:36 |
| URI: | http://eprints.imtlucca.it/id/eprint/306 |
Actions (login required)
 |
Edit Item |
