Agha, Gul A.; Thati, Prasannaa; Ziaei, Reza Actors: A model for reasoning about open distributed systems. (English) Zbl 1253.68234 Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 155-176 (2010). MSC: 68Q85 68M14 68N30 PDF BibTeX XML Cite \textit{G. A. Agha} et al., in: Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press. 155--176 (2010; Zbl 1253.68234)
Escobar, Santiago; Meseguer, José; Thati, Prasanna Narrowing and rewriting logic: from foundations to applications. (English) Zbl 1279.68205 López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 5-33 (2007). MSC: 68Q60 03B70 68Q42 PDF BibTeX XML Cite \textit{S. Escobar} et al., Electron. Notes Theor. Comput. Sci. 177, 5--33 (2007; Zbl 1279.68205) Full Text: DOI
Meseguer, José; Thati, Prasanna Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. (English) Zbl 1115.68079 High.-Order Symb. Comput. 20, No. 1-2, 123-160 (2007). MSC: 68P25 PDF BibTeX XML Cite \textit{J. Meseguer} and \textit{P. Thati}, High.-Order Symb. Comput. 20, No. 1--2, 123--160 (2007; Zbl 1115.68079) Full Text: DOI
Thati, Prasanna; Meseguer, José Complete symbolic reachability analysis using back-and-forth narrowing. (English) Zbl 1110.68058 Theor. Comput. Sci. 366, No. 1-2, 163-179 (2006). MSC: 68Q42 PDF BibTeX XML Cite \textit{P. Thati} and \textit{J. Meseguer}, Theor. Comput. Sci. 366, No. 1--2, 163--179 (2006; Zbl 1110.68058) Full Text: DOI
Meseguer, José; Thati, Prasanna Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. (English) Zbl 1272.68194 Martí-Oliet, N. (ed.), Proceedings of the fifth international workshop on rewriting logic and its applications (WRLA 2004), Barcelona, Spain, March 27–28, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 117, 153-182 (2005). MSC: 68Q42 68Q60 94A60 PDF BibTeX XML Cite \textit{J. Meseguer} and \textit{P. Thati}, Electron. Notes Theor. Comput. Sci. 117, 153--182 (2005; Zbl 1272.68194) Full Text: Link
Escobar, Santiago; Meseguer, José; Thati, Prasanna Natural rewriting for general term rewriting systems. (English) Zbl 1134.68380 Etalle, Sandro (ed.), Logic based program synthesis and transformation. 14th international symposium, LOPSTR 2004, Verona, Italy, August 26–28, 2004. Revised selected papers. Berlin: Springer (ISBN 978-3-540-26655-6/pbk). Lecture Notes in Computer Science 3573, 101-116 (2005). MSC: 68Q42 PDF BibTeX XML Cite \textit{S. Escobar} et al., Lect. Notes Comput. Sci. 3573, 101--116 (2005; Zbl 1134.68380) Full Text: DOI
Thati, Prasanna; Meseguer, José Complete symbolic reachability analysis using back-and-forth narrowing. (English) Zbl 1151.68452 Fiadeiro, José Luiz (ed.) et al., Algebra and coalgebra in computer science. First international conference, CALCO 2005, Swansea, UK, September 3–6, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28620-9/pbk). Lecture Notes in Computer Science 3629, 379-394 (2005). MSC: 68Q42 PDF BibTeX XML Cite \textit{P. Thati} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 3629, 379--394 (2005; Zbl 1151.68452) Full Text: DOI
Chaki, Sagar; Clarke, Edmund; Sinha, Nishant; Thati, Prasanna Automated assume-guarantee reasoning for simulation conformance. (English) Zbl 1081.68612 Etessami, Kousha (ed.) et al., Computer aided verification. 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6–10, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27231-3/pbk). Lecture Notes in Computer Science 3576, 534-547 (2005). MSC: 68Q60 68Q32 68Q45 PDF BibTeX XML Cite \textit{S. Chaki} et al., Lect. Notes Comput. Sci. 3576, 534--547 (2005; Zbl 1081.68612) Full Text: DOI
Escobar, Santiago; Meseguer, José; Thati, Prasanna Natural narrowing for general term rewriting systems. (English) Zbl 1078.68655 Giesl, Jürgen (ed.), Term rewriting and applications. 16th international conference, RTA 2005, Nara, Japan, April 19–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25596-6/pbk). Lecture Notes in Computer Science 3467, 279-293 (2005). MSC: 68Q42 68T15 PDF BibTeX XML Cite \textit{S. Escobar} et al., Lect. Notes Comput. Sci. 3467, 279--293 (2005; Zbl 1078.68655) Full Text: DOI
Thati, Prasanna; Sen, Koushik; Martí-Oliet, Narciso An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0. (English) Zbl 1272.68322 Gadducci, Fabio (ed.) et al., WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 71, 261-281 (2004). MSC: 68Q85 68Q55 68Q60 PDF BibTeX XML Cite \textit{P. Thati} et al., Electron. Notes Theor. Comput. Sci. 71, 261--281 (2004; Zbl 1272.68322) Full Text: Link
Agha, Gul; Thati, Prasanna An algebraic theory of actors and its application to a simple object-based language. (English) Zbl 1278.68064 Owe, Olaf (ed.) et al., From object-orientation to formal methods. Essays in memory of Ole-Johan Dahl. Berlin: Springer (ISBN 3-540-21366-X/pbk). Lecture Notes in Computer Science 2635, 26-57 (2004). MSC: 68N19 68N15 68N30 PDF BibTeX XML Cite \textit{G. Agha} and \textit{P. Thati}, Lect. Notes Comput. Sci. 2635, 26--57 (2004; Zbl 1278.68064) Full Text: DOI
Thati, Prasanna; Talcott, Carolyn; Agha, Gul Techniques for executing and reasoning about specification diagrams. (English) Zbl 1108.68415 Rattray, Charles (ed.) et al., Algebraic methodology and software technology. 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12–16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22381-9/pbk). Lecture Notes in Computer Science 3116, 521-536 (2004). MSC: 68N30 PDF BibTeX XML Cite \textit{P. Thati} et al., Lect. Notes Comput. Sci. 3116, 521--536 (2004; Zbl 1108.68415) Full Text: DOI
Naldurg, Prasad; Sen, Koushik; Thati, Prasanna A temporal logic based framework for intrusion detection. (English) Zbl 1110.68382 de Frutos-Escrig, David (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2004. 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27–30, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23252-4/pbk). Lecture Notes in Computer Science 3235, 359-375 (2004). MSC: 68P25 68Q60 PDF BibTeX XML Cite \textit{P. Naldurg} et al., Lect. Notes Comput. Sci. 3235, 359--375 (2004; Zbl 1110.68382) Full Text: DOI
Thati, Prasannaa; Ziaei, Reza; Agha, Gul A theory of may testing for asynchronous calculi with locality and no name matching. (English) Zbl 1275.68106 Kirchner, Hélène (ed.) et al., Algebraic methodology and software technology. 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9–13, 2002. Prodeedings. Berlin: Springer (ISBN 3-540-44144-1/pbk). Lecture Notes in Computer Science 2422, 223-238 (2002). MSC: 68Q85 PDF BibTeX XML Cite \textit{P. Thati} et al., Lect. Notes Comput. Sci. 2422, 223--238 (2002; Zbl 1275.68106) Full Text: DOI
Thati, Prasannaa; Ziaei, Reza; Agha, Gul A theory of may testing for actors. (English) Zbl 1048.68059 Jacobs, Bart (ed.) et al., Formal methods for open object-based distributed systems V. IFIP TC6/ WG6.1 5th international conference, FMOODS 2002, Enschede, the Netherlands, March 20–22, 2002. Boston: Kluwer Academic Publishers (ISBN 0-7923-7683-8). IFIP, Int. Fed. Inf. Process. 81, 147-162 (2002). MSC: 68Q85 PDF BibTeX XML Cite \textit{P. Thati} et al., in: Formal methods for open object-based distributed systems V. IFIP TC6/ WG6. 1 5th international conference, FMOODS 2002, Enschede, the Netherlands, March 20--22, 2002. Boston: Kluwer Academic Publishers. 147--162 (2002; Zbl 1048.68059)
Thati, Prasannaa; Chang, Po-Hao; Agha, Gul Crawlets: Agents for high performance web search engines. (English) Zbl 1052.68954 Picco, Gian Pietro (ed.), Mobile agents. 5th international conference, MA 2001, Atlanta, GA, USA, December 2–4, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42952-2). Lect. Notes Comput. Sci. 2240, 119-134 (2001). MSC: 68U99 68T01 68M14 PDF BibTeX XML Cite \textit{P. Thati} et al., Lect. Notes Comput. Sci. 2240, 119--134 (2001; Zbl 1052.68954) Full Text: Link