Books and book chapters

1. Razavi, Reza, Kirill Mechitov, Gul Agha, Jean-Francois Perrot. "Ambiance: A Mobile Agent Platform for End-User Programmable Ambient Systems," J.C. Augusto and D. Shapiro (eds.), Advances in Ambient Intelligence, Frontiers in Artificial Intelligence and Applications (FAIA), vol. 164, IOS Press, 2007. [pdf] [bib]
2. Jang, Myeong-Wuk, Amr Ahmed, Gul Agha. "Efficient Communication in Multi-Agent Systems," Software Engineering for Scale Multi-Agent Systems III, Lecture Notes in Computer Science 3390, Springer-Verlag, pp. 236-253, 2005. [pdf] [bib]
3. Agha, Gul, Carlos A. Varela. "Worldwide Computing Middleware," CRC Practical Handbook on Internet Computing, Editor: M. Singh, Invited Chapter., 2004. [pdf] [ps] [bib]
4. Sahai, Akhil, Sven Graupner, WooYoung Kim. "Web Services," Hossein Bidgoli (ed.), The Internet Encyclopedia, vol. 3. The John Wiley and Sons, Inc., 2003. [bib]
5. Agha, Gul, Prasanna Thati. "An Algebraic Theory of Actors and its Application to a Simple Object-Based Language," Festschrift in honour of Ole-Johan Dahl, to be published in LNCS, Springer Verlag, 2002. [bib]
6. Sen, Koushik, Gul Agha. "Thin Middleware for Ubiquitous Computing," Process Coordination and Ubiquitous Computing, CRC Press, 2002. [pdf] [ps] [bib]
7. Agha, Gul, Prasanna Thati, Reza Razavi. "Actors: A Model for Reasoning about Open Distributed Systems," Formal methods for distributed processing: a survey of object-oriented approaches, 2001. [bib] [pdf]
8. Agha, Gul, Prasanna Thati. "Actors: A model for reasoning about open distributed systems," in H. Bowman and J. Derrick (editors), Formal Methods for Distributed Processing - An Object Oriented Approach, Chap. 8, Cambridge University Press, 2001. [pdf] [ps] [bib]
9. Agha, Gul, Nadeem Jamali, Carlos A. Varela. "Agent Naming and Coordination: Actor Based Models and Infrastructures," in A. Omicini et al. (editors), Coordination of Internet Agents: Models, Technologies and Applications, Chap. 9, Springer Verlag, 2001. [pdf] [ps] [bib]
10. Agha, Gul, Nadeem Jamali. "Concurrent Programming for Distributed Artificial Intelligence," in G. Weiss (Editor), Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, Chap. 12, pp 505-534, MIT Press, 1999. [pdf] [ps] [bib]
11. Agha, Gul, Reza Ziaei. "Security and Fault-Tolerance in Distributed Systems: An Actor Based Approach," in P. Amman et al. (eds.), Computer Security, Dependability, and Assurance, From Needs to Solutions, pp. 72-88, IEEE Computer Society, 1999. [pdf] [ps] [bib]
12. Ren, Shangping, Gul Agha. "A Modular Approach for Programming Embedded Systems," in Frits Vaandrager and Grzegorz Rozenberg (editors), Embedded Systems, Lecture Notes in Computer Science, vol. 1494, pp 170-207, Springer-Verlag, 1998. [bib]
13. Agha, Gul. "Modeling Concurrent Systems: Actors, Nets and the Problem of Abstraction and Composition," in J. Billington and W. Reisig (Editors), Application and Theory of Petri Nets 1996: Proceedings of the 17th International Conference, Lecture Notes in Computer Science, vol. 1091, pp 1-10, Springer-Verlag, 1996. [bib]
14. Frølund, Svend, Gul Agha. "Abstracting Interactions Based on Message Sets," in Object-Based Models and Languages for Concurrent Systems, Lecture Notes in Computer Science, vol. 924, pp 107-124, Springer Verlag, 1996. [bib]
15. Agha, Gul, WooYoung Kim, Rajendra Panwar. "Actor Languages for Specification of Parallel Computations," in G. E. Blelloch, K. Mani Chandy and S. Jagannathan (editors), DIMACS Series in Discrete Mathematics and Computer Science, vol. 18, pp 239-258, American Mathematical Society, 1995. [bib]
16. Agha, Gul, Svend Frølund, WooYoung Kim, Rajendra Panwar, Anna Patterson, Daniel Sturman. "Abstraction and Modularity Mechanisms for Concurrent Computing," in David Skillicorn and Domenico Talia (editors), Programming Languages for Parallel Processing, pp 146-157, IEEE Computer Society, May, 1995. [pdf] [ps.gz] [bib]
17. Agha, Gul, Daniel Sturman. "A Methodology for Adapting to Patterns of Faults," in G. M. Koob and C. G. Lau (editors), Foundations of Dependable Computing: Models and Frameworks for Dependable Systems, Chap. 2, vol. 1, pp 1-59, Kluwer Academic Publishers, 1994. [pdf] [ps] [bib]
18. Agha, Gul. "Formal Methods for Actors: A Progress Report," Formal Description Techniques V, IFIP Transactions, vol. C-10, pp 217-228, Elsevier-North Holland, 1993. [bib]
19. Agha, Gul, Svend Frølund, Rajendra Panwar, Daniel Sturman. "A Linguistic Framework for Dynamic Composition of Dependability Protocols," in C. E. Landwehr, B. Randell, and L. Simoncini (editors), Dependable Computing and Fault-Tolerant Systems VIII, pp 345-363, IFIP Transactions, Springer-Verlag, 1993. [pdf] [ps] [bib]
20. Agha, Gul, Chris Houck, Rajendra Panwar. "Distributed Execution of Actor Programs," in D. Gelernter, T. Gross, A. Nicolau, and D. Padua (editors), Languages and Compilers for Parallel Computing, Lecture Notes in Computer Science, vol. 589, pp 1-17, Springer-Verlag, 1992. [pdf] [ps] [bib]
21. Agha, Gul. "The Structure and Semantics of Actor Languages ," in J. W. deBakker, W. P. deRoever, G. Rozenberg (editors), Foundations of Object Oriented Languages, pp. 1-59, Lecture Notes in Computer Science No. 489, Springer Verlag, 1991. [bib]
22. Agha, Gul. "Proceedings of the SIGPLAN Workshop on Object-Based Concurrent Programming ," OOPS Messenger, vol. 2, No. 2, April 1991, ACM SIGPLAN, 1991. [bib]
23. Agha, Gul. "Proceedings of the NSF/SIGPLAN Workshop on Object-Based Concurrent Programming," SIGPLAN Notices, vol. 24, no. 4, April 1989, ACM SIGPLAN, 1989. [bib]