Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
SSO login
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
What's New
Wiki Index
Eng
Ita
Search
Publications
Clouds
tag : Klaim
tag : Klaim
4 publications
Simulation and Analysis of Distributed Systems in Klaim
() —
Francesco Calzolai, Michele Loreti
StoKlaim: A Stochastic Extension of Klaim
(2006) —
Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink
On the Expressive Power of KLAIM-based Calculi
(2006) —
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
KLAIM: A Kernel Language for Agent Interaction and Mobility
(1998) —
Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese
[
tag cloud
/ publications ]