Reza Ziaei

Publication Activity (10 Years)

Years Active: 2002-2003
Publications (10 Years): 0

Publications

Reza Ziaei, Gul Agha
SynchNet: A Petri Net Based Coordination Language for Distributed Objects. GPCE (2003)
Prasannaa Thati, Reza Ziaei, Gul Agha
A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching. AMAST (2002)
Prasannaa Thati, Reza Ziaei, Gul Agha
A Theory of May Testing for Actors. FMOODS (2002)