International Journal of Applied Mathematics and Computer Science > 2011 > Vol. 21, no 1 > 9-25
Source
Abstract
Identifiers
journal ISSN : | 1641-876X |
journal e-ISSN : | 2083-8492 |
Authors
Keywords
Additional information
Fields of science
Bibliography
-
[1] Alagar, V. and Holliday, J. (2002). Agent types and their formal descriptions, Technical Report COEN-2002-09-19A, Santa Clara University, Santa Clara, CA.
-
[2] Bergstra, J., Ponse, A. and Smolka, S. (2001). Handbook of Process Algebra, Elsevier Science, Amsterdam.
-
[3] Brazier, F. M. T., Cornelissen, F., Gustavsson, R., Jonker, C. M., Lindeberg, O., Polak, B. and Treur, J. (2004). Compositional verification of a multi-agent system for one-to-many negotiation, Applied Intelligence 20(2): 95-117.