tag : Klaim

4 publications
page_white_acrobat Simulation and Analysis of Distributed Systems in Klaim (paper in proceedings, 2010) — Francesco Calzolai, Michele Loreti
page_white_acrobat On the Expressive Power of KLAIM-based Calculi (article in journal, 2006) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
page_white_acrobat StoKlaim: A Stochastic Extension of Klaim (technical report, 2006) — Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink
page_white_acrobat KLAIM: A Kernel Language for Agent Interaction and Mobility (article in journal, 1998) — Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY