Information Technology Reference
In-Depth Information
Berry, G., & Boudol, G. (1992). The chemical abstract machine.
Theoretical Computer Science, 96,
217-248.
Bradshaw, J. M. (1997).
Software agents
. Menlo Park, CA: AAAI/MIT Press.
Cohen, D., & Muylaert-Filho, J. (1996). Introducing a calculus for higher-order multiset programming.
In
Coordination languages and models.
(LNCS 1061, 124-141).
Creveuil, C. (1991). Implementation of gamma on the connection machine. In
Proceedings of the Work-
shop on Research Directions in High-Level Parallel Programming Languages
, Mont-Saint Michel,
1991. (LNCS 574, 219-230). Springer-Verlag.
Ehrig, H., & Mahr, B. (1990). Fundamentals of algebraic specification. Brauer, W., Rozenberg, G., &
Salomaa, A. (eds.),
EATCS Monographs on Theoretical Computer Science, 21
, Springer-Verlag.
Faulkner, S., & Kolp (Isys), M. (2002).
Towards an agent architectural description language for infor-
mation systems
. School of Management, the Catholic University of Louvain (UCL), Technical Report,
November 2002.
Fradet, P., & Le Metayer, D. (1998). Structured gamma.
Science of Computer Programming, 31
(2-3),
263-289.
Garlan, D., Allen, R., & Ockerbloom, J. (1994, December). Exploiting style in architectural design
environments.
In Proceedings of SIGSOFT'94: Foundations of Software Engineering
, New Orleans,
Louisiana, (pp. 175-188).
Garlan, D., Monroe, R., & Wile, D. (1997, January). ACME: An architecture description interchange
language. In
Proceedings of CASCON 97
, Toronto, (pp. 169-183).
Gladitz, K., & Kuchen, H. (1996). Shared memory implementation of the gamma-operation.
Journal of
Symbolic Computation 21
, 577-591.
Griss M., & Pour, G. (2001). Accelerating development with agent components.
Computer, IEEE
, 37-
43.
Kaldewaij, A., & Schoenmakers, B. (1990). Searching by elimination.
SCP, 14
, 243-254.
Klop, J. W. (1990). Term rewriting systems. In: Abramsky, S., Gabbay, D., & Maibaum, T. (eds.),
Hand-
book of logic in computer science, 1
. Oxford University Press.
Kokar, M. M., Baclawski, K., & Eracar, Y. (1999). Control theory-based foundations of self-controlling
software.
IEEE Intelligent Systems
, May/June, 37-45.
Le Metayer, D. (1994). Higher-order multiset processing.
DIMACS Series in Discrete Mathematics and
Theoretical Computer Science, 18
, 179-200.
Lin, H., Chen, G., & Wang, M. (1997). Program transformation between unity and gamma.
Neural,
Parallel & Scientific Computations
,
5
(4), 511-534. Atlanta,GA: Dynamic Publishers.
Lin, H., & Chen, G. (1998). Program construction by verifying specification.
Journal of Computer Sci-
ence and Technology, 13
(6), 597-607.
Search WWH ::
Custom Search