1. Agha, G.: Actors. MIT Press, Cambridge (1986)
2. Agha, G., Gunter, C., Greenwald, M., Khanna, S., Meseguer, J., Sen, K., Thati, P.: Formal modeling and analysis of DoS using probabilistic rewrite theories. In: Proc. Workshop on Foundations of Computer Security (FCS 2005) (Affiliated with LICS 2005) (2005)
3. Agha, G., Hewitt, C.: Concurrent programming using actors. In: Yonezawa, A., Tokoro, M. (eds.) Object-Oriented Concurrent Programming, pp. 37–53. MIT Press, Cambridge (1988)
4. Agha, G., Meseguer, J., Sen, K.: PMaude: Rewrite-based specification language for probabilistic object systems. In: 3rd Workshop on Quantitative Aspects of Programming Languages, QAPL 2005 (2005)
5. Lecture Notes in Computer Science;D. Basin,2000