Languages and Process Calculi for Network Aware Programming – Short Summary -
- 358 Downloads
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.
KeywordsSemantic Theory Label Transition System Process Algebra Wide Area Network Agent Interaction
Unable to display preview. Download preview PDF.
- 6.De Nicola, R., Gorla, D., Pugliese, R.: Basic observables for a calculus for global computing. Tech. Rep. 07/2004, Dip. di Informatica, Università di Roma La Sapienza. Short version to appear in the Proc. of ICALP 2005 (2005)Google Scholar
- 7.De Nicola, R., Gorla, D., Pugliese, R.: On the expressive power of KLAIM-based calculi. To appera in TCS. Short version in Proc. of EXPRESS 2004. ENTCS, vol. 128(2), pp. 117–130. Elsevier, Amsterdam (2004)Google Scholar