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

Electronic Notes in Theoretical Computer Science

Volumn 175, Issue 2, 2007, Pages 59-80

  Casadei, Matteo ^a   Gardelli, Luca ^a   Viroli, Mirko ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

collective sort; coordination; self organization; simulation; Stochastic transition system

Indexed keywords

AUTONOMOUS AGENTS; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; STOCHASTIC MODELS;

MAUDE TERM REWRITING SYSTEMS; STOCHASTIC TRANSITION SYSTEMS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34250001165     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.05.022     Document Type: Article

References (18)

1. Recursive porous agent simulation toolkit (repast). available online at (2006). http://repast.sourceforge.net/
2. Swarm. available online at (2006). http://www.swarm.org/
3. Bonabeau E., Dorigo M., and Theraulaz G. Swarm Intelligence: From Natural to Artificial Systems. Santa Fe Institute Studies in the Sciences of Complexity (1999), Oxford University Press, Inc.
4. Clavel, M., F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer and C. Talcott, "Maude Manual," Department of Computer Science University of Illinois at Urbana-Champaign, version 2.2 edition (2005), version 2.2 is available online at http://maude.cs.uiuc.edu
5. Di Pierro A., Hankin C., and Wiklicky H. Continuous-time probabilistic Klaim. Electronic Notes in Theoretical Computer Science 128 (2005) 27-38
6. Gardelli L., Viroli M., and Omicini A. On the role of simulations in engineering self-organising MAS: The case of an intrusion detection system in TuCSoN. In: Brueckner S.A., Di Marzo Serugendo G., Hales D., and Zambonelli F. (Eds). Engineering Self-Organising Systems. LNAI 3910 (2006), Springer 153-168 3rd International Workshop (ESOA 2005), Utrecht, The Netherlands, 26 July 2005. Revised Selected Papers
7. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry 81 (1977) 2340-2361
8. Gutowitz, H., Complexity-seeking ants, in: Deneubourg and Goss, editors, Proceedings of the Third European Conference on Artificial Life, 1993
9. Hadeli K., Valckenaers P., Zamfirescu C.B., Brussel H.V., Germain B.S., Holvoet T., and Steegmans E. Self-organising in multi-agent coordination and control using stigmergy. In: Serugendo G.D.M., Karageorgos A., Rana O.F., and Zambonelli F. (Eds). Engineering Self-Organising Systems: Nature-Inspired Approaches to Software Engineering. LNAI 2977 (2004), Springer, Berlin / Heidelberg 105-123
10. Hennessy M., and Regan T. A Process Algebra for Timed Systems. Information and Computation 117 (1995) 221-239
11. Hermanns H., Herzog U., and Katoen J. Process algebra for performance evaluation. Theoretical Computer Science 274 (2002) 43-87
12. Mamei, M. and F. Zambonelli, Programming pervasive and mobile computing applications with the tota middleware, in: Pervasive Computing and Communications, 2004. PerCom 2004. Proceedings of the Second IEEE Annual Conference on (2004), pp. 263- 273
13. Menezes R., and Tolksdorf R. Adaptiveness in linda-based coordination models. In: Serugendo G.D.M., Karageorgos A., Rana O.F., and Zambonelli F. (Eds). Engineering Self-Organising Systems: Nature-Inspired Approaches to Software Engineering. LNAI 2977 (2004), Springer, Berlin / Heidelberg 212-232
14. Nicola, R.D., D. Latella and M. Massink, Formal modeling and quantitative analysis of Klaim-based mobile systems, in: SAC '05: Proceedings of the 2005 ACM symposium on Applied computing (2005), pp. 428-435
15. Omicini A., and Denti E. From tuple spaces to tuple centres. Science of Computer Programming 41 (2001) 277-294
16. Phillips A. The Stochastic Pi Machine (SPiM). version 0.042 available online at (2006). http://www.doc.ic.ac.uk/~anp/spim/ URL
17. Phillips, A. and L. Cardelli, A correct abstract machine for the stochastic pi-calculus, Transactions on Computational Systems Biology (2005), to appear
18. Priami C. Stochastic pi-calculus. The Computer Journal 38 (1995) 578-589