| 2003 | ||
|---|---|---|
| 3 | EE | Reza Ziaei, Gul Agha: SynchNet: A Petri Net Based Coordination Language for Distributed Objects. GPCE 2003: 324-343 |
| 2002 | ||
| 2 | EE | Prasannaa Thati, Reza Ziaei, Gul Agha: A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching. AMAST 2002: 223-238 |
| 1 | Prasannaa Thati, Reza Ziaei, Gul Agha: A Theory of May Testing for Actors. FMOODS 2002: 147-162 | |
| 1 | Gul A. Agha (Gul Agha) | [1] [2] [3] |
| 2 | Prasanna Thati (Prasannaa Thati) | [1] [2] |