tag : stochastic π-calculus
3 publications
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (paper in proceedings, 2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN (paper in proceedings, 2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN (paper in proceedings, 2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini