Designing Multi-Agent Systems from Logic Specifications - Distributed Artificial Intelligence, Agent Technology, and Collaborative Applications - page 22

Lin F., Norrie D. H., Flores, R. A., & Kremer R.C. (2000, June 3-7). 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, 4th Inter. Conf. on Autonomous Agents
(Agents 2000), Barcelona, Spain, (pp. 1-9).
Lin, F. O., Lin, H., & Holt, P. (2003, May 18-23). A method for implementing distributed learning
environments. Proceedings of 2003 Information Resources Management Association International
Conference , Philadelphia, Pennsylvania, (pp. 484-487).
Lin, H. (2004). A language for specifying agent systems in e-learning environments. In F.O. Lin (ed.),
Designing distributed learning environments with intelligent software agents , 242-272.
Lin, H., & Yang, C. (2006). Specifying distributed multi-agent systems in chemical reaction metaphor.
The International Journal of Artificial Intelligence, Neural Networks, and Complex Problem-Solving
Technologies, 24 (2), 155-168. Springer-Verlag
Luckham, D. C., Kenney, J. J., Augustin, L. M., Vera, J., Bryan, D., & Mann, W. (1995). Specification and
analysis of system architecture using Rapide. IEEE Trans. on Software Engineering , April, 336-355.
Magee, J., & Kramer, J. (1996, October). Dynamic structure in software architectures. In Proceedings
of the 4th Symposium on the Foundations of Software Engineering (FSE4) , San Francisco, CA, (pp.3-
14).
Manna, Z., & Waldinger, R. (1992). Fundamentals of deductive program synthesis. IEEE Trans. On
Software Engineering, 18 (8), 674-704.
Martin-Lof, P. (1980). Intuitionistic type theory. Notes by Giovanni Sambin of a series of lectures given
in Padua, Bibliopolis .
Meseguer, J., & Winkler, T. (1991). Parallel programming in Maude. In Banatre, J.P., & Le Metayer,
D. (eds.), Proceedings of the Workshop on Research Directions in High-Level Parallel programming
Languages , Mont Saint-Michel, France, (pp. 253-293). Springer-Verlag.
Meseguer, J. (1992). Conditional rewriting logic as a unified model of concurrency. Theoretical Com-
puter Science, 96 , 73-155.
Paige, R., Reif, J., & Watcher, R. (eds.) (1993). Parallel aorithm derivation and program transformation. The
Kluwer International Series in Engineering and Computer Science . Kluwer Academic Publishers.
Richstein, J. (2001). Verifying the Goldbach conjecture up to 4·10 14 . Math. Comp., 70 (236), 1745-1749.
Shapiro, E. Y. (1981). Inductive inference of theories from facts. (Report 192). Department of Computer
Science, Yale University.
Shaw, M., DeLine, R., Klein, D. V., Ross, T. L., Young, D. M., & Zelesnik, G. (1995). Abstractions for
software architecture and tools to support them. IEEE Trans. On Software Engineering , April, 314-
335.
Smith, D. R., & Lowry, M. R. (1990). Algorithm theories and design tactics. SCP, 14 , 305-321.