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] |