Prasannaa Thati

Publication Activity (10 Years)

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

Publications

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)
Prasannaa Thati, Po-Hao Chang, Gul Agha
Crawlets: Agents for High Performance Web Search Engines. Mobile Agents (2001)
Ajay Mohindra, Apratim Purakayastha, Prasannaa Thati
Exploiting Non-Determinism for Reliability of Mobile Agent Systems. DSN (2000)