• KLAIM

  • Referenced in 69 articles [sw09424]
  • KLAIM: a kernel language for agents interaction and mobility. We investigate the issue of designing ... programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm ... operators for building processes. KLAIM naturally supports programming with explicit localities. Localities are first-class ... language and provides guidelines for implementations. KLAIM is equipped with a type system that statically...
  • tKlaim

  • Referenced in 8 articles [sw10023]
  • language that retains the main features of Klaim (process distribution and mobility, remote and asynchronous...
  • MoMo

  • Referenced in 4 articles [sw10020]
  • tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports...
  • MetaKlaim

  • Referenced in 5 articles [sw01810]
  • multi-stage programming) and Klaim (a Kernel Language for Agents Interaction and Mobility), to permit...
  • Klava

  • Referenced in 19 articles [sw01243]
  • Klava: a Java package for distributed and mobile...
  • Linda

  • Referenced in 99 articles [sw09427]
  • Generative communication in Linda. Generative communication is the...
  • Transactors

  • Referenced in 6 articles [sw20929]
  • Transactors: a programming model for maintaining globally consistent...