Reza Ziaei

According to our database, Reza Ziaei authored at least 4 papers between 2002 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2005

An Equational Logic and a Coordination Language for Distributed Objects

Reza Ziaei

PhD thesis, 2005

2003

SynchNet: A Petri Net Based Coordination Language for Distributed Objects.

Reza Ziaei, Gul Agha

Proceedings of the Generative Programming and Component Engineering, 2003

2002

A Theory of May Testing for Actors.

Prasannaa Thati, Reza Ziaei, Gul Agha

Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching.

Prasannaa Thati, Reza Ziaei, Gul Agha

Proceedings of the Algebraic Methodology and Software Technology, 2002