Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case

   page       BibTeX_logo.png       attach   
@article{collectivesort-entcs175,
   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
}