Yang, Ping; Basu, Samik; Ramakrishnan, C. R. Parameterized verification of \(\pi\)-calculus systems. (English) Zbl 1180.68181 Hermanns, Holger (ed.) et al., Tools and algorithms for the construction and analysis of systems. 12th international conference, TACAS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25 – April 2, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33056-9/pbk). Lecture Notes in Computer Science 3920, 42-57 (2006). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{P. Yang} et al., Lect. Notes Comput. Sci. 3920, 42--57 (2006; Zbl 1180.68181) Full Text: DOI
Basu, Samik; Ramakrishnan, C. R. Compositional analysis for verification of parameterized systems. (English) Zbl 1088.68100 Theor. Comput. Sci. 354, No. 2, 211-229 (2006). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{S. Basu} and \textit{C. R. Ramakrishnan}, Theor. Comput. Sci. 354, No. 2, 211--229 (2006; Zbl 1088.68100) Full Text: DOI
Basu, Samik; Ramakrishnan, C. R. Compositional analysis for verification of parameterized systems. (English) Zbl 1031.68543 Garavel, Hubert (ed.) et al., Tools and algorithms for the construction and analysis of systems. 9th international conference TACAS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2619, 315-330 (2003). MSC: 68Q60 PDF BibTeX XML Cite \textit{S. Basu} and \textit{C. R. Ramakrishnan}, Lect. Notes Comput. Sci. 2619, 315--330 (2003; Zbl 1031.68543) Full Text: Link
Basu, Samik; Kumar, K. Narayan; Pokorny, L. Robert; Ramakrishnan, C. R. Resource-constrained model checking of recursive programs. (English) Zbl 1043.68524 Katoen, Joost-Pieter (ed.) et al., Tools and algorithms for the construction and analysis of systems. 8th international conference, TACAS 2002. Held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Berlin: Springer (ISBN 3-540-43419-4). Lect. Notes Comput. Sci. 2280, 236-250 (2002). MSC: 68N30 68Q60 PDF BibTeX XML Cite \textit{S. Basu} et al., Lect. Notes Comput. Sci. 2280, 236--250 (2002; Zbl 1043.68524) Full Text: Link
Basu, Samik; Mukund, Madhavan; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Verma, Rakesh Local and symbolic bisimulation using tabled constraint logic programming. (English) Zbl 1053.68582 Codognet, Philippe (ed.), Logic programming. 17th international conference, ICLP 2001, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42935-2). Lect. Notes Comput. Sci. 2237, 166-180 (2001). MSC: 68Q85 68N17 PDF BibTeX XML Cite \textit{S. Basu} et al., Lect. Notes Comput. Sci. 2237, 166--180 (2001; Zbl 1053.68582) Full Text: Link