Ziaei, Reza, Gul Agha. "SynchNet: A Petri Net Based Coordination Language for Distributed Objects," Generative Programming and Component Engineering (GPCE), 2003. [pdf] [ps] [bib]
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]
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]
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]