De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario On the expressive power of KLAIM-based calculi. Theoretical Computer Science, 356 (3). pp. 387-421. ISSN 0304-3975 (2006)
Full text not available from this repository.Abstract
We study the expressive power of variants of KLAIM, an experimental language with programming primitives for network-aware programming that combines the process algebra approach with the coordination-oriented one. KLAIM has proved to be suitable for programming a wide range of distributed applications with agents and code mobility, and has been implemented on the top of a runtime system written in Java. In this paper, the expressivity of its constructs is tested by distilling from it a few, more and more foundational, languages and by studying the encoding of each of them into a simpler one. The expressive power of the considered calculi is finally tested by comparing one of them with asynchronous π-calculus.
| Item Type: | Article |
|---|---|
| Identification Number: | 10.1016/j.tcs.2006.02.007 |
| Additional Information: | Issue title: Expressiveness in Concurrency. This work is the full version of http://eprints.imtlucca.it/311/. |
| Uncontrolled Keywords: | Process calculi; Network-aware programming; Expressiveness; Language encodings; Behavioural equivalences; Bisimulation |
| 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 10:30 |
| Last Modified: | 11 Jul 2011 14:36 |
| URI: | http://eprints.imtlucca.it/id/eprint/299 |
Actions (login required)
 |
Edit Item |
