A Formal Environment Model for Multi-Agent Systems - Formal Methods: Foundations and Applications - page 79

6. North, M., Collier, N., Vos, J.R.: Experiences creating three implementations of
the Repast agent modeling toolkit. ACM Transactions on Modeling and Computer
Simulation 16(1), 1-25 (2006), http://repast.sourceforge.net/
7. Parrow, J.: An introduction to the pi-calculus. In: Bergstra, J.A.,
Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 479-543. Elsevier,
Amsterdam (2001)
8. Pierce, B.C., Turner, D.N.: Pict: A programming language based on the pi-calculus.
In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction:
Essays in Honour of Robin Milner. MIT Press, Cambridge (1997)
9. da Silva, P.S.: An environment specification language for multi-agent systems,
Technical Report 1531 - Université Paris-Sud 11, Laboratoire de Recherche en
Informatique (2009)
10. da Silva, P.S., de Melo, A.C.V.: A simulation-oriented formalization for a psycho-
logical theory. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp.
42-56. Springer, Heidelberg (2007)
11. Skinner, B.F.: Science and Human Behavior. The Free Press, New York (1953)
12. Wang, J., Wysk, R.A.: A pi-calculus formalism for discrete event simulation. In:
WSC 2008: Proceedings of the 40th Conference on Winter Simulation, Miami,
Florida, pp. 703-711 (2008)
13. Weiss, G. (ed.): Multiagent systems: a modern approach to distributed artificial
intelligence. MIT Press, Cambridge (1999)
14. Weyns, D., Van Dyke Parunak, H., Michel, F., Holvoet, T., Ferber, J.: Envi-
ronments for multiagent systems: State-of-the-art and research challenges. In:
Weyns, D., et al. (eds.) E4MAS 2004. LNCS (LNAI), vol. 3374, pp. 1-47. Springer,
Heidelberg (2005)