Prasannaa Thati, Ph.D.
Affiliations: | 2003 | University of Illinois, Urbana-Champaign, Urbana-Champaign, IL |
Area:
Computer ScienceGoogle:
"Prasannaa Thati"Parents
Sign in to add mentor
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Thati P, Sen K, Martí-Oliet N. (2004) An executable specification of asynchronous Pi-calculus semantics and may testing in Maude 2.0 Electronic Notes in Theoretical Computer Science. 71: 242-262 |
| Agha G, Thati P. (2004) An algebraic theory of actors and its application to a simple object-based language Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2635: 26-57 |
| Thati P, Talcott C, Agha G. (2004) Techniques for executing and reasoning about specification diagrams Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3116: 521-536 |
| Thati P, Ziaei R, Agha G. (2002) A theory of may testing for actors Ifip Advances in Information and Communication Technology. 81: 147-162 |
| Thati P, Ziaei R, Agha G. (2002) A theory of may testing for asynchronous calculi with locality and no name matching Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2422: 223-239 |
| Thati P, Chang PH, Agha G. (2001) Crawlets: Agents for high performance web search engines Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2240: 119-134 |
| Jamali N, Thati P, Aghu GA. (1999) An actor-based architecture for customizing and controlling agent ensembles Ieee Intelligent Systems and Their Applications. 14: 38-44 |