Languages and Process Calculi for Network Aware Programming – Short Summary -

  • Rocco De Nicola
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3722)


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.


Semantic Theory Label Transition System Process Algebra Wide Area Network Agent Interaction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bettini, L., De Nicola, R.: Interactive Mobile Agents in X-Klaim. In: Bernardo, M., Bogliolo, A. (eds.) SFM-Moby 2005. LNCS, vol. 3465, pp. 29–68. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  2. 2.
    Bettini, L., De Nicola, R., Pugliese, R.: Klava: a Java Package for Distributed and Mobile Applications. Software – Practice and Experience 32, 1365–1394 (2002)zbMATHCrossRefGoogle Scholar
  3. 3.
    Boreale, M., De Nicola, R., Pugliese, R.: Basic observables for processes. Inf. Comput. 149(1), 77–98 (1999)zbMATHCrossRefGoogle Scholar
  4. 4.
    Corradini, F., De Nicola, R.: Locality based semantics for process algebras. Acta Inf. 34(4), 291–324 (1997)zbMATHCrossRefGoogle Scholar
  5. 5.
    De Nicola, R., Ferrari, G., Pugliese, R.: Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Trans. on Software Engineering 24(5), 315–330 (1998)CrossRefGoogle Scholar
  6. 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. 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
  8. 8.
    De Nicola, R., Gorla, D., Pugliese, R.: Global computing in a dynamic network of tuple spaces. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 157–172. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  9. 9.
    De Nicola, R., Gorla, D., Pugliese, R.: Pattern matching over a dynamic network of tuple spaces. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol. 3535, pp. 1–14. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  10. 10.
    De Nicola, R., Pugliese, R.: Linda-based applicative and imperative process algebras. Theor. Comput. Sci. 238(1-2), 389–437 (2000)zbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Rocco De Nicola
    • 1
  1. 1.Dipartimento di Sistemi e InformaticaUniversità di Firenze 

Personalised recommendations