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