tag : StoKlaim
3 publications
Nature-inspired Coordination for Complex Distributed Systems (paper in proceedings, 2013) — Andrea Omicini Simulation and Analysis of Distributed Systems in Klaim (paper in proceedings, 2010) — Francesco Calzolai, Michele Loreti StoKlaim: A Stochastic Extension of Klaim (technical report, 2006) — Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink