Publisher
Springer Berlin Heidelberg
Reference48 articles.
1. Aldewereld, H., Vázquez-Salceda, J., Dignum, F., Meyer, J.-J.C.: Verifying Norm Compliancy of Protocols. In: To appear in Proc. ANI@REM 2005 (2005)
2. de Bakker, J.W.: Mathematical Theory of Program Correctness. Prentice-Hall International, London (1980)
3. The Agent-Oriented Software Engineering Handbook,2004
4. de Boer, F.S., de Vries, W., Meyer, J.-J.C., van Eijk, R.M., van der Hoek, W.: Process Algebra and Constraint Programming for Modeling Interactions in MAS. In: To appear in Applicable Algebra in Engineering, Communication and Computing (2005)
5. Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming. Kluwer, Dordrecht (2005)