[OSL@UIUC]

Open Systems Laboratory

Department of Computer Science, University of Illinois at Urbana-Champaign
Research
People
Publications
Utilities
 
 Faculty 
 Gul Agha 
 Secretary 
 Donna Coleman 
 Graduate Students 
 Vilas Shekhar Bangalore Jagannath 
 Liping Chen 
 Rajesh Kumar Karmani 
 Vijay Anand Reddy Korthikanti 
 Kirill Mechitov 
 Parya Moinzadeh 
 Alumni 
 Amr Ahmed 
 Mark Astley 
 Tom Brown 
 Po-Hao Chang 
 Joshua Chia 
 Lucas T Cook 
 Christo Frank Devaraj 
 Bill Donkervoet 
 Svend Frølund 
 MyungJoo Ham 
 Chris Houck 
 Nadeem Jamali 
 Myeong-Wuk Jang 
 WooYoung Kim 
 Nirman Kumar 
 YoungMin Kwon 
 Timo Latvala 
 Soham Mazumdar 
 Shakuntala Miriyala 
 Sherin Moussa 
 Mehwish A Nagda 
 Rajendra Panwar 
 Abhilash Patel 
 Anna Patterson 
 Smitha Reddy 
 Shangping Ren 
 Masahiko Saito 
 Koushik Sen 
 Amin Shali 
 Daniel Sturman 
 Sameer Sundresh 
 Prasanna Thati 
 Predrag Tosic 
 Sandeep Uttamchandani 
 Abhay Vardhan 
 Carlos A. Varela 
 Nalini Venkatasubramanian 
 William Wendling 
 Reza Ziaei 
 William Zwicky 

Gul Agha

Professor
Office address:2104 Siebel Center
Mailing address:201 N. Goodwin Avenue
MC 258
Urbana, IL 61801, USA
Office phone:(217) 244-3087
E-mail:aghacsuiucedu
Secretary:Andrea Whitesell

Dr. Gul Agha is Director of the Open Systems Laboratory at the University of Illinois at Urbana-Champaign and a Professor in the Department of Computer Science. His widely cited work, "Actors: A Model of Concurrent Computing in Distributed Systems," (MIT Press, 1986) provided a basis for a number of research projects in concurrent programming. He has co-edited another book, "Research Directions in Concurrent Object Oriented Programming" (MIT Press, 1993).

The goal of Professor Agha's research is to understand the nature of concurrent computation. Results of the research will lead to new ways for building and maintaining open distributed systems. Specifically, Agha's group is developing concurrent programming languages and systems which support applications with high-performance, fault-tolerance or real-time requirements. The group's research is both theoretical and practical. The goal of the theory is to provide a clear semantics for new programming constructs and software composition techniques. The goal of developing systems to experiment with the ideas and provide a proof of principle.

The research is based on the Actors, a model of concurrent objects for which Professor Agha is recognized as a prime exponent. Some recent accomplishments of his group include: building the fastest run-time systems available to support fine-grained object migration; developing a theory of actor systems which provides powerful proof techniques for open distributed computing; a distributed real-time programming language; visualization tools; a software architecture for defining reusable protocols; and a methodology for coordinating distributed objects.

Select publications

  1. Moussa, Sherin, Gul Agha. "A Multi-agent Simulator for Resource Management in Smart Spaces," to appear in Proceedings of The International Workshop on Mobile Systems, E-commerce, and Agent Technology (MSEAT'2009), in conjunction with The Second IEEE International Conference on Ubi-media Computing (U-Media'2009), Taiwan, December, 2009. [bib]
  2. Karmani, Rajesh Kumar, Amin Shali, Gul Agha. "Actor frameworks for the JVM platform: A Comparative Analysis," In the proceedings of the 7th International Conference on the Principles and Practice of Programming in Java, 2009. [pdf] [bib]
  3. Moussa, Sherin, Gul Agha. "An Agent-based Framework for Inhabitants’ Untraceability in Ubiquitous Environments," to appear in Proceedings of The 7th International Conference on Advances in Mobile Computing & Multimedia (@WAS ERPAS'2009), Kuala Lampur. Malaysia, December, 2009. [bib]
  4. Korthikanti, Vijay Anand Reddy, Gul Agha. "Analysis of Parallel Algorithms for Energy Conservation in Scalable Multicore Architectures," International Conference on Parallel Processing (ICPP), 2009. [PDF] [PPT] [bib]
  5. Moussa, Sherin, Gul Agha. "Integrating Encrypted Mobile Agents with Smart Homes," to appear in Proceedings of The Third International Conference on New Technologies, Mobility and Security (NTMS'2009), Cairo, Egypt, December, 2009. [bib]
  6. Ham, MyungJoo, Gul Agha. " Market-based Coordination Strategies for Physical Multi-Agent Systems," Special Issue on the RTSS Forum on Deeply Embedded Real-Time Computing, ACM SIGBED Review, Volume 5, Number 1, January 2008, 2008. [bib] [pdf] [ppt] [wmv]
  7. Ham, MyungJoo, Gul Agha. "A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-Robot Systems," Proccedings of IEEE SASO, pp. 35--44, 2008. [pdf] [ppt] [bib]
  8. Ham, MyungJoo, Gul Agha. "A Study of Coordinated Dynamic Market-Based Task Assignment in Massively Multi-Agent Systems," Coordination and Control in Massively Multi-Agent Systems in Massively Multi-Agent Technology of Lecture Notes in Computer Science, Vol. 5043, pp. 43--63, 2008. [bib] [pdf]
  9. Karmani, Rajesh Kumar, Gul Agha. "Debugging Wireless Sensor Networks Using Mobile Actors," RTAS Poster Session, 2008. [abstract] [poster] [bib]
  10. Shevlyagin, Sergei, Kirill Mechitov, Gul Agha. "Fault Tolerance in ActorNet," UIUC Department of Computer Science Undergraduate Research Symposium, 2008. [ppt-poster] [bib]
  11. Kwon, YoungMin, Gul Agha. "LTLC: Linear Temporal Logic for Control," 11th International Conference on Hybrid Systems: Computation and Control (HSCC) (to appear), 2008. [pdf] [bib]
  12. Kwon, YoungMin, Gul Agha. "Passive Localization: Large Size Sensor Network Localization Based on Environmental Events," International Conference on Information Processing in Sensor Networks (IPSN) (to appear), 2008. [pdf] [bib]
  13. Kwon, YoungMin, Gul Agha. "A Markov Reward Model for Software Reliability," The Next Generation Software (NGS) Workshop at International Parallel and Distributed Processing Symposium (IPDPS), pages 1-6, 2007. [pdf] [ps] [bib]
  14. 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]
  15. Mechitov, Kirill, Reza Razavi, Gul Agha. "Architecture Design Principles to Support Adaptive Service Orchestration in WSN Applications," International Workshop on Wireless Sensor Network Architectures (WWSNA), 2007. [pdf] [ps] [bib]
  16. Mechitov, Kirill, Reza Razavi, Gul Agha. "Architecture Design Principles to Support Adaptive Service Orchestration in WSN Applications," ACM SIGBED Review, vol. 4, no. 3, 2007. [pdf] [bib]
  17. Agha, Gul. "Computing with Biosensors," NSF Biosensing and Bioactuation Workshop, 2007. [pdf] [bib]
  18. Razavi, Reza, Kirill Mechitov, Gul Agha, Jean-Francois Perrot. "Dynamic Macroprogramming of Wireless Sensor Networks with Mobile Agents," 2nd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI), 2007. [pdf] [bib]
  19. Ham, MyungJoo, Gul Agha. "Market-based Coordination Strategies for Large-scale Multi-Agent Systems," System and Information Sciences Notes, Vol. 2, No. 1, pp. 126--131), 2007. [bib] [pdf] [ppt] [wmv] [wmv]
  20. Karmani, Rajesh Kumar, Timo Latvala, Gul Agha. "On Scaling Multi-Agent Task Reallocation Using Market-Based Approach," In the proceedings of the First IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), 2007. [pdf] [slides] [bib]
  21. Donkervoet, Bill, Gul Agha. "Reflecting on Adaptive Distributed Monitoring," Formal Methods for Components and Objects, 2007. [pdf] [bib]
  22. Chang, Po-Hao, Gul Agha. "Supporting Reconfigurable Object Distribution for Customized Web Applications," The 22nd Annual ACM Symposium on Applied Computing (SAC), 2007. [pdf] [pdf] [bib]
  23. Chang, Po-Hao, Gul Agha. "Towards Context-Aware Web Applications," 7th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), 2007. [pdf] [bib]
  24. Kwon, YoungMin, Sameer Sundresh, Kirill Mechitov, Gul Agha. "ActorNet: An Actor Platform for Wireless Sensor Networks," Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 1297-1300, 2006. [pdf] [ps] [bib]
  25. Razavi, Reza, Kirill Mechitov, Sameer Sundresh, Gul Agha, Jean-Francois Perrot. "Ambiance: Adaptive Object Model-based Platform for Macroprogramming Sensor Networks," ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2006. [pdf] [poster] [bib]
  26. Sen, Koushik, Gul Agha. "Automated Systematic Testing of Open Distributed Programs," FASE, 2006. [pdf] [ps] [bib]
  27. Sen, Koushik, Gul Agha. "CUTE and jCUTE : Concolic Unit Testing and Explicit Path Model-Checking Tools," CAV. Tool Paper, 2006. [pdf] [ps] [bib]
  28. Sen, Koushik, Abhay Vardhan, Gul Agha, Grigore Rosu. "Efficient Decentralized Monitoring of Safety in Distributed Systems," Submitted to ACM TOSEM [invited], 2006. [pdf] [ps] [bib]
  29. Mechitov, Kirill, WooYoung Kim, Gul Agha, Tomonori Nagayama. "High-Frequency Distributed Sensing for Structure Monitoring," Trans. of the Society of Instrument and Control Engineers (SICE), vol. E-S-1, no. 1, pages 109-114, 2006. [pdf] [ps] [bib]
  30. Nagayama, Tomonori, B. F. Spencer, Gul Agha, Kirill Mechitov. "Model-based Data Aggregation for Structural Monitoring Employing Smart Sensors," 3rd International Conference on Networked Sensing Systems (INSS), 2006. [pdf] [bib]
  31. Sen, Koushik, Mahesh Viswanathan, Gul Agha. "Model-Checking Markov Chains in the presence of Uncertainties," TACAS, 2006. [pdf] [ps] [bib]
  32. Kwon, YoungMin, Gul Agha. "Scalable Modeling and Performance Evaluation of Wireless Sensor Networks," Real-Time and Embedded Technology and Applications Symposium (RTAS), IEEE pages 49-58, 2006. [pdf] [ps] [bib]
  33. Chen, Liping, Gul Agha. "State Aware Data Dissemination over Structured Overlays," The Sixth IEEE International Conference on Peer-to-Peer Computing, Cambridge, UK, Sept 6-8, 2006. [pdf] [bib]
  34. Chang, Po-Hao, Gul Agha. "Supporting Reconfigurable Object Distribution for Customizable Web Applications (poster)," The 8th International Symposium on Distributed Objects, Middleware, and Applications (DOA), 2006. [pdf] [pdf] [bib]
  35. Kwon, YoungMin, Sameer Sundresh, Kirill Mechitov, Gul Agha. "ActorNet: An Actor Platform for Wireless Sensor Networks," Technical Report UIUCDCS-R-2005-2595, Department of Computer Science, University of Illinois at Urbana-Champaign, 2005. [pdf] [ps] [bib]
  36. Jang, Myeong-Wuk, Gul Agha. "Adaptive Agent Allocation for Massivley Multi-agent Applications," Massively Multi-Agent Systems I, LNCS(LNAI) 3446, Springer-Verlag, pp. 25-39, 2005. [bib]
  37. Jang, Myeong-Wuk, Gul Agha. "Agent Framework Services to Reduce Agent Communication Overhead in Large-scale Agent-based Simulations," Simulation Modelling Practice and Theory (Accepted in October), 2005. [bib]
  38. Devaraj, Christo Frank, Mehwish A Nagda, Indranil Gupta, Gul Agha. "An Underlay for Sensor Networks: Localized Protocols for Maintenance and Usage," Proc. IEEE Conf. Mobile Ad-Hoc and Sensor Systems (MASS), 2005. [pdf] [bib]
  39. Ham, MyungJoo, Gul Agha. "ARA: A Robust Audit to Prevent Free-Riding in P2P Networks," The Fifth IEEE International Conference on Peer-to-Peer Computing (P2P2005), 2005. [bib] [pdf] [ppt]
  40. Yin, Li, Sandeep Uttamchandani, John Palmer, Randy Katz, Gul Agha. "AutoLoop: Automated Action Selection in the ," 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'05), , 2005. [bib]
  41. Uttamchandani, Sandeep, Li Yin, Guillermo Alvarez, John Palmer, Gul Agha. "Chameleon: a self-evolving, fully-adaptive resource arbitrator for storage systems," To Appear in the Proceedings of the 2005 USENIX Technical Conference, Anaheim, CA, April , 2005. [pdf] [bib]
  42. Sen, Koushik, Darko Marinov, Gul Agha. "CUTE: A Concolic Unit Testing Engine for C," ESEC/FSE. ACM SIGSOFT Distinguished Paper Award Winner, 2005. [pdf] [pdf] [ps] [ps] [bib]
  43. Sen, Koushik, Grigore Rosu, Gul Agha. "Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions," FMOODS, 2005. [pdf] [ps] [bib]
  44. 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]
  45. Agha, Gul, Carl Gunter, Michael Greenwald, Sanjeev Khanna, Jose Meseguer, Koushik Sen, Prasanna Thati. "Formal Modeling and Analysis of DoS Using Probabilistic Rewrite Theories," Foundations of Computer Security (FCS), 2005. [bib]
  46. Kwon, YoungMin, Gul Agha. "iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs," 2nd International Conference on the Quantitative Evaluation of Systems, IEEE, (Tool paper), 2005. [pdf] [ps] [bib]
  47. Sundresh, Sameer, YoungMin Kwon, Kirill Mechitov, WooYoung Kim, Gul Agha. "Localization of Sparse Sensor Networks Using Layout Information," Technical Report UIUCDCS-R-2005-2525, Department of Computer Science, University of Illinois at Urbana-Champaign, 2005. [pdf] [ps] [bib]
  48. Tosic, Predrag, Gul Agha. "Maximal Clique Based Distributed Coalition Formation for Task Allocation in Large-Scale Multi-agent Systems," MMAS'04 Post-Proceedings, Springer-Verlag LNAI series, vol. 3446, pp. 104-120, 2005. [pdf] [ps] [bib]
  49. Uttamchandani, Sandeep, Li Yin, John Palmer, Randy Katz, Gul Agha. "Model-based Automation of the Observe-Analyze-Act Loop: Will it become a reality?," position paper submitted for review, 2005. [bib]
  50. Uttamchandani, Sandeep, Xiaoxin Yin, John Palmer, Gul Agha. "MonitorMining: Creating Domain Knowledge for System Automation Using a Gray-box Approach," To Appear in Proceedings of the Ninth IFIP/IEEE International Symposium on Integrated Network Management, Nice, France, May, 2005. [pdf] [ps] [bib]
  51. Tosic, Predrag, Gul Agha. "On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata," Proc. UC'05 - Fourth International Conference on Unconventional Computation, Springer-Verlag LNCS series, vol. 3699, pp. 191-205; held in Sevilla, Spain, October 3-7 , 2005. [pdf] [ps] [bib]
  52. Tosic, Predrag, Gul Agha. "On Computational Complexity of Predicting Dynamical Evolution of Large Agent Ensembles," Proceedings of the Third European Workshop on Multi-Agent Systems EUMAS '05, pp. 415-426, Flemish Academy of Sciences; held in Brussels, Belgium, December 7-8, 2005. [pdf] [ps] [bib]
  53. Tosic, Predrag, Gul Agha. "On Parallel vs. Sequential Threshold Cellular Automata," (to become) Department of Computer Science Technical Report, University of Illinois at Urbana-Champaign, Spring, 2005. [pdf] [ps] [bib]
  54. Sen, Koushik, Mahesh Viswanathan, Gul Agha. "On Statistical Model Checking of Stochastic Systems," In 17th International Conference on Computer Aided Verification, (CAV'05), LNCS (To Appear), 2005. [pdf] [pdf] [ps] [ps] [bib]
  55. Sen, Koushik, Grigore Rosu, Gul Agha. "Online Efficient Predictive Safety Analysis of Multithreaded Programs," International Journal on Software Technology and Tools Transfer (STTT) (To Appear), 2005. [pdf] [ps] [bib]
  56. Tosic, Predrag, Gul Agha. "Parallel vs. Sequential Threshold Cellular Automata: Comparison and Contrast," Proceedings of the First European Conference on Complex Systems ECCS '05 (CD-Rom), European Complex Systems Society; held in Paris, France, November 14-18, 2005. [pdf] [ps] [bib]
  57. Agha, Gul, Jose Meseguer, Koushik Sen. "PMaude: Rewrite-based Specification Language for Probabilistic Object Systems," 3rd Workshop on Quantitative Aspects of Programming Languages (QAPL 05), 2005. [bib]
  58. Agha, Gul, Jose Meseguer, Koushik Sen. "PMaude: Rewrite-based Specification Language for Probabilistic Object Systems," Electronic Notes in Theoretical Computer Science, Elsevier Science, 2005. Expanded version of the paper that appeared in Proceedings of the 3rd Workshop on Quantitative Aspects of Programming Languages (To Appear)., 2005. [bib]
  59. Kwon, YoungMin, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul Agha. "Resilient Localization for Sensor Networks in Outdoor Environments," 25th International Conference on Distributed Computing Systems (ICDCS), pages 643-652, 2005. [pdf] [bib]
  60. Jang, Myeong-Wuk, Gul Agha. "Scalable Agent Distribution Mechanisms for Large-Scale UAV Simulations," The International Conference of Integration of Knowledge Intensive Multi-Agent Systems KIMAS '05: Scalable Agents Session, pp. 85-90, April 18-21, Waltham, Massachusetts, 2005. [pdf] [bib]
  61. Ahmed, Amr, Abhilash Patel, Tom Brown, MyungJoo Ham, Myeong-Wuk Jang, Gul Agha. "Task Assignment for a Physical Agent Team via a Dynamic Forward/Reverse Auction Mechanism," The International Conference of Integration of Knowledge Intensive Multi-Agent Systems KIMAS '05: Modeling, Evolutions and Engineering, pp. 311-317, April 18 - 21, 2005. [pdf] [bib]
  62. Vardhan, Abhay, Koushik Sen, Mahesh Viswanathan, Gul Agha. "Using Language Inference to Verify omega-regular Properties," In Proceedings of 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), LNCS, 2005. [pdf] [ps] [bib]
  63. Sen, Koushik, Mahesh Viswanathan, Gul Agha. "VESTA: A Statistical Model Checker and Analyzer for Probabilistic Systems," In 2nd International Conference on the Quantitative Evaluation of Systems, IEEE, (Tool paper), 2005. [pdf] [ps] [bib]
  64. Jang, Myeong-Wuk, Amr Ahmed, Gul Agha. "A Flexible Coordination Framework for Application-Oriented Matchmaking and Brokering Services," Technical Report UIUCDCS-R-2004-2430, Department of Computer Science, University of Illinois at Urbana-Champaign, April, 2004. [pdf] [ps] [bib]
  65. Vardhan, Abhay, Koushik Sen, Mahesh Viswanathan, Gul Agha. "Actively Learning to Verify Safety for FIFO Automata," In 24th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'04), Lecture Notes in Computer Science, Chennai, India, December, LNCS 3328, pages 494-505, Copyright Springer-Verlag (http://www.springer.de/comp/lncs/index.html), 2004. [pdf] [ps] [bib]
  66. Chang, Po-Hao, WooYoung Kim, Gul Agha. "An Adaptive Programming Framework for Web Applications," The IEEE/IPSJ Symposium on Applications and the Internet (SAINT '04), 2004. [pdf] [bib]
  67. Jang, Myeong-Wuk, Amr Ahmed, Gul Agha. "ATSpace: A Middle Agent to Support Application-Oriented Matchmaking and Brokering Services," IEEE/WIC/ACM IAT(Intelligent Agent Technology)-2004, pp. 393-396, Beijing, China, September 20-24, 2004. [pdf] [bib]
  68. Tosic, Predrag, Gul Agha. "Characterizing Configuration Spaces of Simple Threshold Cellular Automata," Proc. ACRI 2004 ( 6th Int'l Conference on Cellular Automata for Research and Industry), Amsterdam, The Netherlands, October 25-27, Springer-Verlag LNCS series, vol. 3305, pp. 861 - 870, 2004. [pdf] [ps] [bib]
  69. Tosic, Predrag, Gul Agha. "Concurrency vs. Sequential Interleavings in 1-D Threshold Cellular Automata," Proc. IEEE - IPDPS '04 (APDCM Workshop), Santa Fe, New Mexico, USA, April 26-30, 2004. [pdf] [ps] [bib]
  70. Uttamchandani, Sandeep, Guillermo Alvarez, Gul Agha. "DecisionQoS: an adaptive, self-evolving QoS arbitration module for storage systems," 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), pages 67-76, Yorktown, NY, June , 2004. [pdf] [bib]
  71. Jang, Myeong-Wuk, Gul Agha. "Dynamic Agent Allocation for Large-Scale Multi-Agent Applications," International Workshop on Massively Multi-Agent Systems, pp. 19-33, Kyoto, Japan, December 10-11, 2004. [pdf] [bib]
  72. Sen, Koushik, Abhay Vardhan, Gul Agha, Grigore Rosu. "Efficient Decentralized Monitoring of Safety in Distributed Systems," In Proceedings of 26th International Conference on Software Engineering (ICSE'04), pages 418-427, Edinburgh, UK, May 2004. IEEE., 2004. [pdf] [ps] [bib]
  73. Mechitov, Kirill, WooYoung Kim, Gul Agha, Tomonori Nagayama. "High-Frequency Distributed Sensing for Structure Monitoring," First International Workshop on Networked Sensing Systems (INSS), pages 101-104, 2004. [pdf] [bib]
  74. Sen, Koushik, Mahesh Viswanathan, Gul Agha. "Learning Continuous Time Markov Chains from Sample Executions," In 1st International Conference on Quantitative Evaluation of Systems (QEST'04), pages 146-155, Enschede, The Netherlands, September 2004. IEEE., 2004. [pdf] [ps] [bib]
  75. Vardhan, Abhay, Koushik Sen, Mahesh Viswanathan, Gul Agha. "Learning to Verify Safety Properties," In 6th International Conference on Formal Engineering Methods (ICFEM'04), Seattle, WA, USA, November 2004, LNCS 3308, pages 274-288, Copyright Springer-Verlag (http://www.springer.de/comp/lncs/index.html), 2004. [pdf] [ps] [bib]
  76. Kwon, YoungMin, Gul Agha. "Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains," International Conference on Formal Engineering Methods (ICFEM), 2004. [pdf] [ps] [bib]
  77. Tosic, Predrag, Gul Agha. "Maximal Clique Based Distributed Group Formation for Autonomous Agent Coalitions," Coalitions and Teams Workshop (W10), within The Third Int'l Joint Conf. on Agents & Multi Agent Systems (AAMAS '04), Columbia University, New York City, USA, 2004. [pdf] [bib]
  78. Tosic, Predrag, Gul Agha. "Maximal Clique Based Distributed Group Formation for Task Allocation in Large-Scale Multi-Agent Systems," Proc. Int'l Workshop on Massively Multi-Agent Systems, Kyoto, Japan, December 10-11, 2004. [pdf] [bib]
  79. Jang, Myeong-Wuk, Gul Agha. "On Efficient Communication and Service Agent Discovery in Multi-agent Systems," Third International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS '04), pp. 27-33, Edinburgh, Scotland, May 24-25, 2004. [pdf] [bib]
  80. Sen, Koushik, Abhay Vardhan, Gul Agha, Grigore Rosu. "On Specifying and Monitoring Epistemic Properties of Distributed Systems," In 2nd International Workshop on Dynamic Analysis (WODA'04), Satellite workshop of ICSE 2004, pages 32-35. British Institution of Electrical Engineers (IEE), May 2004., 2004. [pdf] [ps] [bib]
  81. Sen, Koushik, Grigore Rosu, Gul Agha. "Online Efficient Predictive Safety Analysis of Multithreaded Programs," In Proceedings of 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04), volume 2988 of Lecture Notes in Computer Science, pages 123-138, Barcelona, Spain, March 2004., 2004. [pdf] [ps] [bib]
  82. Kwon, YoungMin, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul Agha. "Resilient Localization for Sensor Networks in Outdoor Environments," Technical Report UIUCDCS-R-2004-2449, Department of Computer Science, University of Illinois at Urbana Champaign, 2004. [pdf] [bib]
  83. Sundresh, Sameer, WooYoung Kim, Gul Agha. "SENS: A Sensor, Environment and Network Simulator," The 37th Annual Simulation Symposium (ANSS37), Arlington, VA, April 21, 2004. [pdf] [ppt] [sxi] [bib]
  84. Sen, Koushik, Mahesh Viswanathan, Gul Agha. "Statistical Model Checking of Black-Box Probabilistic Systems," In 16th conference on Computer Aided Verification (CAV'04), volume 3114 of Lecture Notes in Computer Science, pages 202-215, Boston, MA, USA, July 2004. Springer., 2004. [pdf] [ps] [bib]
  85. Thati, Prasanna, Carolyn Talcott, Gul Agha. "Techniques for Executing and Reasoning About Specification Diagrams," International Conference on Algebraic Methodology and Software Technology (AMAST), 2004. [pdf] [ps] [bib]
  86. Tosic, Predrag, Gul Agha. "Towards a Hierarchical Taxonomy of Autonomous Agents," Proc. IEEE Int'l Conference on Systems, Man and Cybernetics (IEEE-SMC'04), The Hague, The Netherlands, Oct. 10-13, 2004. [pdf] [bib]
  87. Nagayama, Tomonori, Manuel Ruiz Sandoval, B. F. Spencer, Kirill Mechitov, Gul Agha. "Wireless Strain Sensor Development for Civil Infrastructure," First International Workshop on Networked Sensing Systems (INSS), pages 97-100, 2004. [pdf] [bib]
  88. Agha, Gul, Carlos A. Varela. "Worldwide Computing Middleware," CRC Practical Handbook on Internet Computing, Editor: M. Singh, Invited Chapter., 2004. [pdf] [ps] [bib]
  89. Kumar, Nirman, Koushik Sen, Jose Meseguer, Gul Agha. "A Rewriting Based Model for Probabilistic Distributed Object Systems," In Proceedings of 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'03), volume 2884 of Lecture Notes in Computer Science, pages 32{46, Paris, France, November 2003. Springer., 2003. [pdf] [ps] [bib]
  90. Jang, Myeong-Wuk, Smitha Reddy, Predrag Tosic, Liping Chen, Gul Agha. "An Actor-based Simulation for Studying UAV Coordination," 15th European Simulation Symposium (ESS 2003), pp. 593-601, Delft, The Netherlands, October 26-29, 2003. [pdf] [bib]
  91. Mechitov, Kirill, Sameer Sundresh, YoungMin Kwon, Gul Agha. "Cooperative Tracking with Binary-Detection Sensor Networks," Technical Report UIUCDCS-R-2003-2379, Department of Computer Science, University of Illinois at Urbana-Champaign, 2003. [pdf] [ps] [bib]
  92. Mechitov, Kirill, Sameer Sundresh, YoungMin Kwon, Gul Agha. "Cooperative Tracking with Binary-Detection Sensor Networks," First International Conference on Embedded Networked Sensor Systems (SenSys), 2003. [pdf] [bib]
  93. Sundresh, Sameer, Gul Agha, Kirill Mechitov, WooYoung Kim, YoungMin Kwon. "Coordination Services for Wireless Sensor Networks," International Workshop on Advanced Sensors, Structural Health Monitoring and Smart Structures, 2003. [doc] [pdf] [bib]
  94. Jamali, Nadeem, Gul Agha. "CyberOrgs: A Model for Decentralized Resource Control in Multi Agent Systems ," Proceedings of Workshop on Representations and Approaches for Time-Critical Decentralized Resource/Role/Task Allocation, at the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 03), Melbourne, Australia, July, 2003. [bib] [pdf]
  95. Agha, Gul, WooYoung Kim, YoungMin Kwon, Kirill Mechitov, Sameer Sundresh. "Evaluation of Localization Services (Preliminary Report)," DARPA NEST Program, 2003. [pdf] [bib]
  96. Sen, Koushik, Grigore Rosu, Gul Agha. "Generating Optimal Linear Temporal Logic Monitors by Coinduction," In Proceedings of 8th Asian Computing Science Conference (ASIAN'03), volume 2896 of Lecture Notes in Computer Science, pages 260{75, Mumbai, India, December 2003. Springer., 2003. [pdf] [ps] [bib]
  97. Tosic, Predrag, Myeong-Wuk Jang, Smitha Reddy, Joshua Chia, Liping Chen, Gul Agha. "Modeling a System of UAVs on a Mission," Proc. 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI '03), pp. 508-514, July 27-30, 2003. [pdf] [ps] [bib]
  98. Sen, Koushik, Grigore Rosu, Gul Agha. "Runtime Safety Analysis of Multithreaded Programs," 9th European Software Engineering Conference and 11th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE'03), pages 337{346, Helsinki, Finland, September, 2003. ACM., 2003. [pdf] [ps] [bib]
  99. Tosic, Predrag, Gul Agha. "Simple Genetic Algorithms for Pattern Learning: The Role of Crossovers," 5th Int'l Workshop on Frontiers in Evolutionary Algorithms (FEA'03), in Proc. Joint Conference on Information Systems, September 26-30, 2003. [pdf] [ps] [bib]
  100. Ziaei, Reza, Gul Agha. "SynchNet: A Petri Net Based Coordination Language for Distributed Objects," Generative Programming and Component Engineering (GPCE), 2003. [pdf] [ps] [bib]
  101. Tosic, Predrag, Gul Agha. "True Concurrency vs. Nondeterministic Sequential Interleavings in 1-D Cellular Automata," IEEE Real Time Systems Symposium (RTSS'03), Work-in-Progress Workshop, Cancun, Mexico, December 3-5, 2003. [pdf] [bib]
  102. Tosic, Predrag, Gul Agha. "Understanding and Modeling Agent Autonomy in Dynamic Multi-Agent, Multi-Task Environments," Proc. First European Workshop on Multi-Agent Systems (EUMAS '03) (Day 2, Panel 2 section), Oxford, England (UK), December 18-19, 2003. [pdf] [ps] [bib]
  103. Ziaei, Reza, Gul Agha, Prasanna Thati. "A Theory of May Testing for Actors," International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 2002. [pdf] [ps] [bib]
  104. 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]
  105. Milojicic, Dejan, Gul Agha, Philippe Bernadat, Deepika Chauhan, Shai Guday, Nadeem Jamali, Dan Lambright, Franco Travostino. "Case Studies in Security and Resource Management for Mobile Object Systems," Autonomous Agents and Multi-Agent Systems, vol 2.1, pp 45-79, 2002. [pdf] [bib]
  106. Thati, Prasanna, Reza Ziaei, Gul Agha. "Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching," International Conference on Algebraic Methodology and Software Technology (AMAST), 2002. [pdf] [ps] [bib]
  107. Sen, Koushik, Gul Agha. "Thin Middleware for Ubiquitous Computing," Process Coordination and Ubiquitous Computing, CRC Press, 2002. [pdf] [ps] [bib]
  108. Vardhan, Abhay, Gul Agha. "Using Passive Garbage Collection Algorithms for Garbage Collection of Active Objects," International Symposium for Memory Management, pp 106-113, Berlin, June 20-21, 2002. [pdf] [ps] [bib]
  109. Uttamchandani, Sandeep, Gul Agha. "WAPSec: A Personalized Security Architecture for WAP," 2nd Asian International Mobile Computing Conference 2002 (AMOC 2002), 2002. [bib]
  110. Venkatasubramanian, Nalini, Carolyn Talcott, Gul Agha. "A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware," Formal Methods Europe (FME 2001), Humboldt-Universität zu Berlin, Germany, March, 2001. [bib]
  111. 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]
  112. 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]
  113. 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]
  114. Thati, Prasanna, Po-Hao Chang, Gul Agha. "Crawlets: Agents for high performance web search engines," IEEE International Conference on Mobile Agents (MA), 2001. [ps] [bib]
  115. Astley, Mark, Daniel Sturman, Gul Agha. "Customizable Middleware for Modular Distributed Software," Communications of the ACM, Vol. 44, No. 5, pp 99-107, 2001. [pdf] [bib]
  116. Varela, Carlos A., Gul Agha. "Programming Dynamically Reconfigurable Open Systems with SALSA," 16th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications: Intriguing Technology Track, Tampa, FL, October, 2001. [pdf] [ps] [bib]
  117. Varela, Carlos A., Gul Agha. "A Hierarchical Model for Coordination of Concurrent Activities," International Conference on Coordination (COORDINATION '99), LNCS 1594, pp 166-, 1999. [pdf] [ps] [bib]
  118. Venkatasubramanian, Nalini, Gul Agha, Carolyn Talcott. "A MetaObject Framework for QoS-Based Distributed Resource Management," Third International Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE '99), December, 1999. [pdf] [ps] [bib]
  119. Jamali, Nadeem, Prasanna Thati, Gul Agha. "An Actor-based architecture for customizing and controlling agent ensembles," IEEE Intelligent Systems, vol. 14, no. 2, April, 1999. [pdf] [ps] [bib]
  120. 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]
  121. 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]
  122. Nielsen, Brian, Gul Agha. "Towards Reusable Real-Time Objects," Annals of Software Engineering: Special Volume on Real-Time Software Engineering, vol. 7, pp 257-282, 1999. [pdf] [ps] [bib]
  123. Agha, Gul, WooYoung Kim. "Unifying Parallel and Distributed Computation: An Actor-Based Approach," Journal of Systems Architecture, 1999. [pdf] [bib]
  124. 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]
  125. Astley, Mark, Gul Agha. "Customization and Composition of Distributed Objects: Middleware Abstractions for Policy Management," Sixth International Symposium on the Foundations of Software Engineering, ACM SIGSOFT, 1998. [pdf] [bib]
  126. Astley, Mark, Gul Agha. "Modular Construction and Composition of Distributed Software Architectures," Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE '98), Kyoto, Japan, 1998, pp 2-12, IEEE, 1998. [pdf] [bib]
  127. Agha, Gul, Mark Astley, Carlos A. Varela. "Modular Heterogeneous System Development: A Critical Analysis of Java," Proceedings of the Heterogeneous Computing Workshop, pp 144-156, IEEE, 1998. [pdf] [ps] [bib]
  128. Kim, WooYoung, Gul Agha. "Parallel Programming and Complexity Analysis using Actors," in Proceedings of the Third International Working Conference on Massively Parallel Programming Models (MPPM '97), 1998. [pdf] [bib]
  129. Nielsen, Brian, Shangping Ren, Gul Agha. "Specification of Real-Time Interaction Constraints," in Proceedings of the First International Symposium on Object-Oriented Real-Time Computing, 9 pp, IEEE Computer Society, 1998. [pdf] [ps] [bib]
  130. Varela, Carlos A., Gul Agha. "What after Java? From Objects to Actors," Computer Networks and ISDN Systems: The International Journal of Computer Telecommunications and Networking, vol. 30, pp 573-577, April, 1998. [html] [bib]
  131. Agha, Gul, Ian A. Mason, Scott Smith, Carolyn Talcott. "A Foundation for Actor Computation," Journal of Functional Programming, Vol. 7 pp 1-72, 1997. [pdf] [ps] [bib]
  132. Agha, Gul. "Abstracting Interaction Patterns: A Programming Paradigm for Open Distributed Systems," in Elie Najm and Jean-Bernard Stefani (editors), Formal Methods for Open Object-Based Distributed Systems, pp 135-153, Chapman and Hall (on behalf of the International Federation for Information Processing), 1997. [pdf] [ps] [bib]
  133. Venkatasubramanian, Nalini, Gul Agha. "An Actor Based Framework for Managing Multimedia QoS," Proceedings of the 3rd International Workshop on Multimedia Information Systems (MISC '97), Como, Italy, pp 54-62, September, 1997. [pdf] [bib]
  134. Ren, Shangping, Gul Agha. "Source Code Level Infeasibility Detection on Declarative Timing Constraints Specified with RTsynchronizers," ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, pp 1-10, 1997. [bib]
  135. Ren, Shangping, Gul Agha, Masahiko Saito. "A Modular Approach for Programming Distributed Real-Time Systems," Journal of Parallel and Distributed Computing, vol. 36, no. 1, pp 4-12, 1996. Also published in School on Embedded Systems, European Educational Forum 1996, pp 52-, 1996. [pdf] [ps] [bib]
  136. Saito, Masahiko, Gul Agha. "A Modular Approach to Real-Time Synchronization," Proceedings of the Conference on Object Oriented Real-Time Systems, Special Issue of OOPS Messenger, vol. 7(1), pp 13-20, ACM Sigplan, 1996 (post-conference proceedings), 1996. [bib]
  137. Astley, Mark, Gul Agha. "A Visualization Model for Concurrent Systems," International Journal of Information Science, vol. 93, no. 1-2, pp 107-132, 1996. [pdf] [bib]
  138. 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]
  139. Kim, WooYoung, Rajendra Panwar, Gul Agha. "Efficient Compilation of Call/Return Communication for Actor-Based Programming Languages," Third International Conference on High Performance Computing, pp 62-67, Trivendarum, India, IEEE Computer Society, 1996. [pdf] [ps.gz] [bib]
  140. Agha, Gul. "Linguistic Paradigms for Programming Complex Distributed Systems," ACM Computing Surveys, vol. 28, no. 2, pp 3-5, 1996. [bib]
  141. 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]
  142. Panwar, Rajendra, WooYoung Kim, Gul Agha. "Parallel Implementations of Irregular Problems Using High-level Actor Language," The 10th International Parallel Processing Symposium, pp 857-862, Honolulu, HI, IEEE Computer Society, 1996. [pdf] [bib]
  143. Nielsen, Brian, Gul Agha. "Semantics for an Actor-Based Real-Time Language," in Proceedings of the Fourth International Workshop on Parallel and Distributed Real-Time Systems, pp 223-228, IEEE Computer Society, 1996. [pdf] [ps] [bib]
  144. 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]
  145. 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]
  146. Kim, WooYoung, Gul Agha. "Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages," Proceedings of Supercomputing '95, 10 pp, IEEE, (worldwide web accessible), 1995. [pdf] [bib]
  147. Ren, Shangping, Gul Agha. "RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems," in Proceedings of ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, June 1995. Also appeared in ACM Sigplan Notices, vol. 30, no. 11, pp 50-59, November, 1995. [pdf] [ps] [bib]
  148. Astley, Mark, Gul Agha. "Visualizing Concurrent Systems through Component Interfaces ," Proceedings of the Second Annual Joint Conference on Information Sciences, pp 214-217, Wrightsville Beach, NC, October, 1995. [bib]
  149. 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]
  150. Panwar, Rajendra, Gul Agha. "A Methodology for Programming Scalable Architectures ," Journal of Parallel and Distributed Computing, vol. 22 pp 479-487, 1994. [pdf] [bib]
  151. Sturman, Daniel, Gul Agha. "A Protocol Description Language for Customizing Failure Semantics," in Proceedings of the Thirteenth Symposium on Reliable Distributed Systems, pp 148-157, IEEE Computer Society Press, October, 1994. [pdf] [ps] [bib]
  152. Callsen, Christian J., Gul Agha. "Open Heterogeneous Computing in ActorSpace," Journal of Parallel and Distributed Computing, vol. 21, pp 289-, 1994. [pdf] [ps] [bib]
  153. Frølund, Svend, Gul Agha. "A Language Framework for Multi-Object Coordination," in O. Nierstrasz (Editor), Proceedings of the European Conference on Object-Oriented Programming, Lecture Notes in Computer Science, vol. 707, pp 346-360, Springer Verlag, August, 1993. [pdf] [ps] [bib]
  154. 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]
  155. Agha, Gul, Svend Frølund, WooYoung Kim, Rajendra Panwar, Anna Patterson, Daniel Sturman. "Abstraction and Modularity Mechanisms for Concurrent Computing," Parallel and Distributed Technology, vol. 1, no. 2, pp 3-15, IEEE Computer Society, May, 1993. [pdf] [ps.gz] [bib]
  156. Agha, Gul, Christian J. Callsen. "ActorSpace: An Open Distributed Programming Paradigm ," Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, CA, May 1993. Also published as a Special Issue of SIGPLAN Notices vol. 28, No. 7, pp 23-32, July, 1993. [pdf] [bib]
  157. 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]
  158. Agha, Gul, Svend Frølund, Rajendra Panwar, Daniel Sturman. "A Linguistic Framework for Dynamic Composition of Fault-Tolerance Protocols," Conference on Dependable Computing for Critical Applications (DCCA-3), pp 197-207, International Federation of Information Processing Societies, Palermo (Sicily), Italy, September, 1992. [bib]
  159. Jagannathan, Suresh, Gul Agha. "A Reflective Model of Inheritance," in O. L. Madsen (Editor), The Sixth European Conference on Object-Oriented Programming, Utretcht, Netherlands, Lecture Notes in Computer Science, vol. 615, pp 350-371, Springer-Verlag, 1992. [pdf] [ps] [bib]
  160. Agha, Gul, Rajendra Panwar. "An Actor-Based Framework for Heterogeneous Computing Systems," Workshop on Heterogeneous Processing, pp 35-42, IEEE Computer Society, March, 1992. [pdf] [ps] [bib]
  161. Kim, WooYoung, Gul Agha. "Compilation of a Highly Parallel Actor-Based Language," The Fifth International Workshop on Languages and Compilers for Parallel Computing, YALEU/DCS/RR-915, pp 1-12, New Haven, CT, September. (Also, in D. Gelernter, T. Gross, A. Nicolau, and D. Padua (editors), Languages and Compilers for Parallel Computing, Lecture Notes in Computer Science 757, pp 1-15, Springer-Verlag, 1993.), 1992. [pdf] [ps] [bib]
  162. 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]
  163. Houck, Chris, Gul Agha. "HAL: A High-level Actor Language and Its Distributed Implementation," 21st International Conference on Parallel Processing (ICPP '92), vol. II, pp 158-165, St. Charles, IL, August, 1992. [pdf] [ps] [bib]
  164. Venkatasubramanian, Nalini, Shakuntala Miriyala, Gul Agha. "Scalable Concurrent Computing ," SADHANA: Academy Proceedings in Engineering Sciences, Special Issue on Parallel and Distributed Computing, vol. 17, no. 1, pp 193-220, 1992, Indian Academy of Sciences, Banglore, India, 1992. [bib]
  165. Venkatasubramanian, Nalini, Gul Agha, Carolyn Talcott. "Scalable Distributed Garbage Collection for Systems of Active Objects," in Y. Bekkers and J. Cohen (editors), International Workshop on Memory Management, ACM SIGPLAN and INRIA, St. Malo, France, Lecture Notes in Computer Science, vol. 637, pp 134-148, Springer-Verlag, September, 1992. [pdf] [ps] [bib]
  166. Agha, Gul, Ian A. Mason, Scott Smith, Carolyn Talcott. "Towards a Theory of Actor Computation," The Third International Conference on Concurrency Theory (CONCUR '92), Stony Brook, NY, Lecture Notes in Computer Science No. 630, pp 565-579, Springer Verlag, August, 1992. [pdf] [ps] [bib]
  167. Miriyala, Shakuntala, Gul Agha, Yamina Sami. "Visualizing Actor Programs using Predicate Transition Nets," Journal of Visual Languages and Computation, vol. 3, no. 2, pp 195-220, Academic Press, June, 1992. [pdf] [ps] [bib]
  168. Agha, Gul, Chris Houck, Rajendra Panwar. "Distributed Execution of Actor Programs," Proceedings of the Fourth Workshop on Languages and Compilers for Parallel Computing, pp. 1-15, INTEL, Santa Clara, CA, August, 1991. [pdf] [ps] [bib]
  169. Agha, Gul. "Proceedings of the SIGPLAN Workshop on Object-Based Concurrent Programming ," OOPS Messenger, vol. 2, No. 2, April 1991, ACM SIGPLAN, 1991. [bib]
  170. 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]
  171. Agha, Gul. "Concurrent Object-Oriented Programming," in Communications of the ACM, Association for Computing Machinery, vol. 33, no. 9, pp 125-141, September, 1990. [pdf] [bib]
  172. 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]
  173. Agha, Gul. "Supporting Multiparadigm Programming on Actor Architectures," Proceedings of Parallel Architectures and Languages Europe, vol.II: Parallel Languages, Lecture Notes in Computer Science 366, pp 1-19, Springer-Verlag, 1989. [bib]
  174. Agha, Gul. "The Relation Between Problems in Large-Scale Concurrent Systems and Distributed Databases," in Proceedings of the International Symposium on Databases in Parallel and Distributed Systems, IEEE Computer Society, Washington, DC, 1988. [bib]