References

---

Allen, R., & Garlan, D. (1994). Formalising architectural connection. In Proceedings of the IEEE 16th International Conference on Software Engineering (pp. 71–80).

Banatre, J. -P., & Le Metayer, D. (1990). The Gamma model and its discipline of programming. Science of Computer Programming, 15, 55–77.

Banatre, J. -P., & Le Metayer, D. (1993). Programming by multiset transformation, CACM, 36(1), 98–111.

Banatre, J. -P., & Le Metayer, D. (1996). Gamma and the chemical reaction model: Ten years after. In J. M. Andresli, & C. Hankin (Eds.), Coordination programming: Mechanisms, models and semantics. Imperial College Press.

Berry, G., & Boudol, G. (1992). The Chemical Abstract Machine. Theoretical Computer Science, 96, 217–248.

Carriero, N., & Gelernter, D. (1989). Linda in context. CACM, 32(4), 444–458.

Flores, R. A., Kremer, R. C., & Norrie, D. H. (2001). An architecture for modeling Internet-based collaborative agent systems. In T. Wagner, & O.F. Rana (Eds.), Infrastructure for agents, multi-agent systems, and scalable multi-agent systems, LNCS1887 (pp. 56–63). Heidelberg: Springer-Verlag.

Fradet, P., & Le Metayer, D. (1998). Structured Gamma. Science of Computer Programming, 31(2-3), 263-289.

Garlan, D., & Perry, D. (1995). Editor’s Introduction. IEEE Trans. On Software Engineering, Special Issue on Software Architectures.

Gavrilova, T., Voinov, A. V., & Irina Lescheva, I. (1999). Learner-model approach to multi-agent intelligent distance learning system for program testing. IEA/AIE 1999 (pp. 440–449).

Griss, M., & Pour, G. (2001). Accelerating development with agent components. Computer, IEEE, May, 37–43.

Hankin, C., Le Metayer, D., & Sands, D. (1993a). A culculus of Gamma programs. Proceedings of the Fifth Workshop on Languages and Compilers for Parallel Computing, Yale, LNCS 757. Heidelberg: Springer-Verlag.

Hankin, C., Le Metayer, D., & Sands, D. (1993b). A parallel programming style and its algebra of programs. In Proceedings of PARLE’93, LNCS 694 (pp. 367–378). Heidelberg: Springer-Verlag.

Holzbacher, A. A. (1996). A software environment for concurrent coordinated programming. In Proceedings of the First International Conference on Coordination Models, Languages and Applications, LNCS 1061, April (pp. 249–266). Heidelberg: Springer-Verlag.

Inverardi, P., & Wolf, A. (1995). Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE Trans. on Software Engineering, 21(4), 373–386.

Kramer, J. (1990). Configuration programming, a framework for the development of distributable systems. Proc. COMPEURO’90, IEEE (pp. 374– 384).

Le Metayer, D. (1994). Higher-order multiset processing. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 18, 179– 200.

Le Metayer, D. (1996). Software architecture styles as graph grammars. Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, San Francisco, California, October.

Lin, F., Norrie, D. H., Flores, R. A., & Kremer, R. C. (2000). Incorporating conversation managers into multi-agent systems. In M. Greaves, F. Dignum, J. Bradshaw, & B. Chaib-draa (Eds.), Proceedings of the Workshop on Agent Communication and Languages, Fourth International Conference on Autonomous Agents (Agents 2000) (pp. 1–9). Barcelona, Spain, June 3–7.

Lin, F. O., Lin, H., & Holt, P. (2003). A method for implementing distributed learning environments. Proceedings of the 2003 Information Resources Management Association International Conference (pp. 484–487). Philadelphia, Pennsylvania, May 18–21.

Lin, H., & Chen, Y. (1998). Categorical semantics of higher-order Gamma. Chinese Journal of Advanced Software Research, 5(3), 267–278.

Lin, H., Chen, G., & Wang, M. (1997). Program transformation between Unity and Gamma. Neural, Parallel & Scientific Computations, 5(4), 511– 534.

Lin, H., Chen, Y., & Wang, M. (1998). Categorical semantics of Gamma. Chinese Journal of Advanced Software Research, 5(1), 78–88.

Ma, W., & Orgun, M. A. (1995). Verifying Multran programs with temporal logic. Proceedings of the Eighth International Symposium on Languages for Intensional Programming (ISLIP’95) (pp. 120–134). World-Scientific.

Ma, W., Krishnamurthy, E. V., & Orgun, M. A. (1994). On providing temporal semantics for the Gamma programming model. In C. Barry Jay (Ed.), CATS: Proc. Computing: the Australian Theory Seminar (pp. 121–132).

Ma, W., Murthy, V. K., & Krishnamurthy, E. V. (1995). Multran—A coordination programming language using multiset and transactions. In S.K. Aityan et al. (Eds.), Proceedings of the First International Conference on Neural, Parallel, and Scientific Computations (ICNPSC) (pp. 301–304).

Paqutte, G. (2001). Implementing a virtual learning center in an organization. ITHET-2001, Kumamoto, Japan.

Reynolds, M. (1996). Temporal semantics for Gamma. In J. M. Andresli, & C. Hankin (Eds.), Coordination programming: Mechanisms, models and semantics. Imperial College Press.

Vassileva, J., Deters, R., Greer, J., MaCalla, G., Kumar, V., & Mudgal, C. (1998). A multi-agent architecture for peer-help in a university course. Proceedings of the Workshop on Pedagogical Agents at ITS’98 (pp. 64–68). San Antonio, Texas.

Vouk, M. A., Bitzer, D. L., & Klevans, R. L. (1999). Workflow and end-user quality of service issues in Web-based education. IEEE Trans. on Knowledge and Data Engineering, 11(4), 673–687.

Weiss, M. (2003). A gentle introduction to agents and their applications. Online presentation from http://www.magma.ca/~mrw/agents/

Wooldridge, M., & Jennings, N. (1995). Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2), 115–152.

Yu, E. (2001). Agent-oriented modeling: Software versus the world. Agent-Oriented Software Engineering AOSE-2001 Workshop Proceedings, LNCS 2222 (pp. 206–225). Heidelberg: Springer-Verlag.

---