tag : StoKlaim
3 publications
Nature-inspired Coordination for Complex Distributed Systems (IDC 2012) — Andrea Omicini
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