Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
 |
 |
Author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
Doi = {10.1016/j.entcs.2007.03.006},
Editor = {Canal, Carlos and Viroli, Mirko},
Elsevier-Ref = {ENTCS1735},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Keywords = {Stochastic Transition System, Self-Organization, Simulation, Coordination, Collective Sort},
Month = jun,
Note = {5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), CONCUR'06, Bonn, Germany, 31~} # aug # {~2006. Post-proceedings},
Number = 2,
Pages = {59--80},
Publisher = {Elsevier Science B.V.},
Title = {Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case},
Volume = 175,
Year = 2007}