Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
| |
|
|
apice = {CollectivesortEntcs175},
author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
booktitle = {Proceedings of the 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006)},
doi = {10.1016/j.entcs.2007.03.006},
editor = {Canal, Carlos and Viroli, Mirko},
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,
numpages = 22,
pages = {59--80},
publisher = {Elsevier Science B.V.},
series = {Electronic Notes in Theoretical Computer Science},
title = {Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case},
volume = 175,
year = 2007
}