Compositional Design, Implementation, and Verification of Swarms.

Florian Furbach, Lucas Clorius, Roland Kuhn, Hernn C. Melgratti, Alceste Scalas, Emilio Tuosto

Browse the full ECOOP paper archive.