Basic material on Klaim/X-Klaim

• The Klaim Project: Theory and Practice - Draft Lecture Note for the proceeding of the Rovereto Workshop
  gzipped ps
• Klaim: a Kernel Language for Agents Interaction and Mobility
  R. De Nicola, G. Ferrari, R. Pugliese. IEEE Transactions on Software Engineering, 24(5):315-330, IEEE Computer Society, 1998.
  abstract    pdf
• Klava: a Java Package for Distributed and Mobile Applications
  L. Bettini, R. De Nicola, R. Pugliese. Software - Practice and Experience, 32(14):1365-1394, John Wiley & Sons, 2002.
  abstract     gzipped-ps
• An Infrastructure Language for Open Nets
  L. Bettini, M. Loreti, R. Pugliese. Proc. of SAC, Special Track on Coordination Models, Languages and Applications, pages 373-377, 2002, ACM.
  abstract      gzipped-ps     gzipped-ps (Draft)
• Mobile Distributed Programming in X-Klaim
  L. Bettini, R. De Nicola.  Formal Methods for Mobile Computing, Advanced Lectures. LNCS 3465, pages 29-68, M. Bernardo and A. Bogliolo (Eds.), 2005, Springer.
  abstract    gzipped-ps

A set of slides presenting Klaim

• euglobal/Klaim_Edinb1.PDF
• euglobal/Klaim_Edinb2.PDF
• euglobal/Klaim_Edinb3.PDF
• euglobal/Klaim_Edinb4.PDF

For the full list of papers on KLAIM/X-Klaim/OpenKlaim/Types for Klaim/Object Oriented Klaim ... click here.