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
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