autore : Rocco De Nicola
3
pubblicazioni
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 (Theoretical Computer Science, 2006) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese KLAIM: A Kernel Language for Agent Interaction and Mobility (IEEE Transactions on Software Engineering, 1998) — Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese