%%% -*-BibTeX-*- %%% ==================================================================== %%% BibTeX-file{ %%% author = "Radha Jagadeesan", %%% version = "1.09", %%% date = "19 February 2013", %%% time = "16:27:36 MST", %%% filename = "jagadeesan-radha.bib", %%% address = "Dept. of Mathematical and Computer Sciences %%% Loyola University---Lake Shore Campus %%% 6525 N. Sheridan Road %%% Chicago, IL 60626 %%% USA", %%% telephone = "+1 773 508 3526", %%% FAX = "+1 773 508 3514", %%% checksum = "26442 1119 4483 45350", %%% email = "radha at cs.luc.edu (Internet)", %%% codetable = "ISO/ASCII", %%% keywords = "BibTeX, bibliography, theoretical computer %%% science", %%% license = "public domain", %%% supported = "yes", %%% docstring = "This is a bibliography of publications of %%% Radha Jagadeesan. The companion LaTeX file %%% jagadeesan-radha.ltx can be used to typeset %%% this bibliography. %%% %%% At version 1.09, the year coverage looked %%% like this: %%% %%% 1989 ( 1) 1997 ( 2) 2005 ( 3) %%% 1990 ( 4) 1998 ( 4) 2006 ( 3) %%% 1991 ( 1) 1999 ( 1) 2007 ( 1) %%% 1992 ( 4) 2000 ( 2) 2008 ( 1) %%% 1993 ( 0) 2001 ( 1) 2009 ( 0) %%% 1994 ( 5) 2002 ( 3) 2010 ( 1) %%% 1995 ( 4) 2003 ( 2) %%% 1996 ( 5) 2004 ( 2) %%% %%% Article: 22 %%% InCollection: 3 %%% InProceedings: 20 %%% Proceedings: 5 %%% %%% Total entries: 50 %%% %%% This file is available as part of the BibNet %%% Project. The master copy is available for %%% public access on ftp.math.utah.edu in the %%% directory tree /pub/bibnet/authors. It is %%% mirrored to netlib.bell-labs.com in the directory %%% tree /netlib/bibnet/authors, from which it is %%% available via anonymous ftp and the Netlib %%% service. %%% %%% The checksum field above contains a CRC-16 %%% checksum as the first value, followed by the %%% equivalent of the standard UNIX wc (word %%% count) utility output of lines, words, and %%% characters. This is produced by Robert %%% Solovay's checksum utility.", %%% } %%% ==================================================================== %%% ==================================================================== %%% Journal abbreviations: @String{j-INF-COMPUT= "Information and Computation"} @String{j-J-SYMBOLIC-COMP= "Journal of Symbolic Computation"} @String{j-J-SYMBOLIC-LOGIC= "Journal of Symbolic Logic"} @String{j-LECT-NOTES-COMP-SCI= "Lecture Notes in Computer Science"} @String{j-SCI-COMPUT-PROGRAM= "Science of Computer Programming"} @String{j-THEOR-COMP-SCI= "Theoretical Computer Science"} @String{j-TOPLAS= "ACM Transactions on Programming Languages and Systems"} %%% ==================================================================== %%% Publisher abbreviations: @String{pub-ACM= "ACM Press"} @String{pub-ACM:adr= "New York, NY 10036, USA"} @String{pub-ELSEVIER= "Elsevier"} @String{pub-ELSEVIER:adr= "Amsterdam, The Netherlands"} @String{pub-IEEE= "IEEE"} @String{pub-IEEE:adr= "1109 Spring Street, Suite 300, Silver Spring, MD 20910, USA"} @String{pub-SV= "Springer-Verlag"} @String{pub-SV:adr= "Berlin, Germany~/ Heidelberg, Germany~/ London, UK~/ etc."} @String{pub-USENIX= "USENIX"} @String{pub-USENIX:adr= "Berkeley, CA, USA"} %%% ==================================================================== %%% Series abbreviations: @String{ser-LNCS= "Lecture Notes in Computer Science"} %%% ==================================================================== %%% Bibliography entries, sorted by year, then by citation label: @InProceedings{Jagadeesan:1989:DLP, author = "R. Jagadeesan", title = "{$L$}-domains and Lossless Powerdomains", crossref = "Main:1990:MFP", pages = "364--372", month = mar, year = "1989", bibdate = "Mon Apr 27 14:56:07 MDT 1998", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", } @InProceedings{Jagadeesan:1990:DLP, author = "Radhakrishnan Jagadeesan", booktitle = "{Mathematical foundations of programming semantics (New Orleans, LA, 1989)}", title = "{$L$}-domains and lossless powerdomains", volume = "442", publisher = pub-SV, address = pub-SV:adr, pages = "364--372", year = "1990", DOI = "http://dx.doi.org/10.1007/BFb0040268", MRclass = "68Q55 (06B35 18B99)", MRnumber = "1076406 (91h:68116)", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", series = "Lecture Notes in Comput. Sci.", acknowledgement = ack-nhfb, } @InProceedings{Jagadeesan:1990:DTM, author = "Radha Jagadeesan and Prakash Panangaden", booktitle = "Automata, languages and programming ({Coventry}, 1990)", title = "A Domain-theoretic Model for a Higher-order Process Calculus", crossref = "Paterson:1990:ALP", volume = "443", publisher = pub-SV, address = pub-SV:adr, pages = "181--194", month = jul, year = "1990", DOI = "http://dx.doi.org/10.1007/BFb0032031", MRclass = "68Q10 (03B70 68Q55)", MRnumber = "1076821", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", note = "Preprint available as Cornell TR 89-1058.", series = "Lecture Notes in Comput. Sci.", acknowledgement = ack-nhfb, } @Article{Jagadeesan:1991:FAS, author = "R. Jagadeesan and P. Panangaden and K. Pingali", title = "A fully-abstract semantics for a first order functional language with logic variables", journal = j-TOPLAS, volume = "13", number = "4", year = "1991", CODEN = "ATPSDT", ISSN = "0164-0925 (print), 1558-4593 (electronic)", ISSN-L = "0164-0925", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", note = "Preliminary version appeared in the Proceedings of the 4th IEEE Symposium on Logic in Computer Science, June 1989", } @InProceedings{Abramsky:1992:GFC, author = "Samson Abramsky and Radha Jagadeesan", booktitle = "{Foundations of software technology and theoretical computer science (New Delhi, 1992)}", title = "Games and full completeness for multiplicative linear logic (extended abstract)", volume = "652", publisher = pub-SV, address = pub-SV:adr, pages = "291--301", year = "1992", MRclass = "03B70", MRnumber = "1229106", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", series = "Lecture Notes in Comput. Sci.", acknowledgement = ack-nhfb, } @InProceedings{Abramsky:1992:NFG, author = "Samson Abramsky and Radha Jagadeesan", booktitle = "Proceedings 7th Annual IEEE Symp.\ on Logic in Computer Science, LICS'92, Santa Cruz, CA, USA, 22--25 June 1992", title = "New Foundations for the Geometry of Interaction", publisher = pub-IEEE, address = pub-IEEE:adr, pages = "211--222", year = "1992", bibdate = "Mon Apr 27 14:56:07 MDT 1998", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", } @InProceedings{Jagadeesan:1992:ASH, author = "R. Jagadeesan and K. Pingali", title = "Abstract Semantics for a Higher-Order Functional Language with logic variables", crossref = "ACM:1992:CRN", pages = "355--366", year = "1992", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", } @Article{Abramsky:1994:FAP, author = "Samson Abramsky and Pasquale Malacaria and Radha Jagadeesan", booktitle = "Theoretical aspects of computer software ({Sendai}, 1994)", title = "Full abstraction for {PCF} (extended abstract)", journal = j-LECT-NOTES-COMP-SCI, volume = "789", publisher = pub-SV, address = pub-SV:adr, pages = "1--15", year = "1994", CODEN = "LNCSD9", ISSN = "0302-9743 (print), 1611-3349 (electronic)", ISSN-L = "0302-9743", MRclass = "68Q55", MRnumber = "1296670", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", series = "Lecture Notes in Comput. Sci.", acknowledgement = ack-nhfb, } @Article{Abramsky:1994:GFC, author = "Samson Abramsky and Radha Jagadeesan", title = "Games and full completeness for multiplicative linear logic", journal = j-J-SYMBOLIC-LOGIC, volume = "59", number = "2", pages = "543--574", year = "1994", CODEN = "JSYLA6", DOI = "http://dx.doi.org/10.2307/2275407", ISSN = "0022-4812 (print), 1943-5886 (electronic)", ISSN-L = "0022-4812", MRclass = "03F50 (03B20)", MRnumber = "1276632 (95e:03165)", MRreviewer = "Harold Schellinx", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", acknowledgement = ack-nhfb, fjournal = "The Journal of Symbolic Logic", } @Article{Abramsky:1994:NFG, author = "Samson Abramsky and Radha Jagadeesan", title = "New Foundations for the Geometry of Interaction", journal = j-INF-COMPUT, volume = "111", number = "1", pages = "53--119", day = "15", month = may, year = "1994", CODEN = "INFCEC", DOI = "http://dx.doi.org/10.1006/inco.1994.1041", ISSN = "0890-5401 (print), 1090-2651 (electronic)", ISSN-L = "0890-5401", MRclass = "03F05 (03B70 03F50 68Q55)", MRnumber = "1276745 (95h:03124)", MRreviewer = "Henry Africk", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", note = "1992 IEEE Symposium on Logic in Computer Science", acknowledgement = ack-nhfb, fjournal = "Information and Computation", } @InProceedings{Saraswat:1994:FTC, author = "Vijay Saraswat and Radha Jagadeesan and Vineet Gupta", booktitle = "Proceedings, Ninth Annual {IEEE} Symposium on Logic in Computer Science, Paris, France, 4--7 July, 1994", title = "Foundations of Timed Concurrent Constraint Programming", publisher = pub-IEEE, address = pub-IEEE:adr, pages = "71--80", year = "1994", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", } @InProceedings{Saraswat:1994:PTC, author = "Vijay Saraswat and Radha Jagadeesan and Vinheet Gupta", editor = "B. Mayoh and E. Tyugu and J. Penjaam", booktitle = "Constraint Programming: Proceedings 1993 {NATO ASI Parnu, Estonia}", title = "Programming in Timed Concurrent Constraint Languages", chapter = "4.4", publisher = pub-SV, address = pub-SV:adr, pages = "361--410", year = "1994", ISBN = "3-540-57859-5", ISBN-13 = "978-3-540-57859-8", bibdate = "Mon Apr 27 14:56:07 MDT 1998", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", series = "NATO Advanced Science Institute Series", } @Article{Abramsky:1995:GFC, author = "S. Abramsky and R. Jagadeesan", title = "Games and full completeness for multiplicative linear logic", journal = j-J-SYMBOLIC-LOGIC, year = "1995", CODEN = "JSYLA6", ISSN = "0022-4812 (print), 1943-5886 (electronic)", ISSN-L = "0022-4812", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", scope = "linear logic", } @Article{Gupta:1995:PHC, author = "V. Gupta and R. Jagadeesan and V. Saraswat and D. G. Bobrow", title = "Programming in Hybrid Constraint Languages", journal = j-LECT-NOTES-COMP-SCI, volume = "999", pages = "226--??", year = "1995", CODEN = "LNCSD9", ISSN = "0302-9743 (print), 1611-3349 (electronic)", ISSN-L = "0302-9743", bibdate = "Sat May 11 13:45:32 MDT 1996", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", acknowledgement = ack-nhfb, } @InProceedings{Jagadeesan:1995:CTC, author = "L. Jagadeesan and R. Jagadeesan", title = "Causality and True Concurrency: {A} Dataflow Analysis of the Pi-Calculus", crossref = "Alagar:1995:AMS", pages = "277--??", year = "1995", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", } @Article{Gupta:1996:HCH, author = "V. Gupta and R. Jagadeesan and V. Saraswat", title = "Hybrid cc, hybrid automata, and program verification", journal = j-LECT-NOTES-COMP-SCI, volume = "1066", pages = "52--??", year = "1996", CODEN = "LNCSD9", ISSN = "0302-9743 (print), 1611-3349 (electronic)", ISSN-L = "0302-9743", bibdate = "Wed Aug 14 09:38:08 MDT 1996", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", acknowledgement = ack-nhfb, } @InProceedings{Gupta:1996:MCC, author = "Vineet Gupta and Radha Jagadeesan and Vijay A. Saraswat", booktitle = "{CONCUR} '96: concurrency theory ({Pisa})", title = "Models for concurrent constraint programming", crossref = "Montanari:1996:CCT", volume = "1119", publisher = pub-SV, address = pub-SV:adr, pages = "66--83", year = "1996", MRclass = "68Q10", MRnumber = "1480422", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", series = "Lecture Notes in Comput. Sci.", acknowledgement = ack-nhfb, xxtitle = "Models of concurrent constraint programming", } @InProceedings{Gupta:1996:TCC, author = "Vineet Gupta and Radha Jagadeesan and Vijay A. Saraswat", booktitle = "{CONCUR} '96: concurrency theory ({Pisa})", title = "Truly concurrent constraint programming", crossref = "Montanari:1996:CCT", volume = "1119", publisher = pub-SV, address = pub-SV:adr, pages = "373--388", year = "1996", MRclass = "68Q10", MRnumber = "1480438", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", series = "Lecture Notes in Comput. Sci.", acknowledgement = ack-nhfb, } @Article{Saraswat:1996:TDC, author = "Vijay Saraswat and Radha Jagadeesan and Vineet Gupta", title = "Timed Default concurrent constraint programming", journal = j-J-SYMBOLIC-COMP, volume = "22", number = "5--6", pages = "475--520", year = "1996", CODEN = "JSYCEH", DOI = "http://dx.doi.org/10.1006/jsco.1996.0064", ISSN = "0747-7171 (print), 1095-855X (electronic)", ISSN-L = "0747-7171", MRclass = "68Q10 (68Q55 68Q60 68T27)", MRnumber = "1440084 (98d:68069)", MRreviewer = "Neculai Curteanu", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", note = "Preliminary version appeared in the Proceedings of the 22nd Annual ACM SIGPLAN-SIGACT Symposium on the Principles of Programming Languages, January 1995", acknowledgement = ack-nhfb, fjournal = "Journal of Symbolic Computation", } @Article{Gupta:1997:PCC, author = "Vineet Gupta and Radha Jagadeesan and Vijay Saraswat", booktitle = "{CONCUR} '97: concurrency theory ({Warsaw})", title = "Probabilistic concurrent constraint programming", journal = j-LECT-NOTES-COMP-SCI, volume = "1243", publisher = pub-SV, address = pub-SV:adr, pages = "243--257", year = "1997", CODEN = "LNCSD9", ISSN = "0302-9743 (print), 1611-3349 (electronic)", ISSN-L = "0302-9743", MRclass = "68Q10 (68Q60)", MRnumber = "1602218", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", series = "Lecture Notes in Comput. Sci.", acknowledgement = ack-nhfb, } @Article{Gupta:1997:RTA, author = "V. Gupta and T. A. Henzinger and R. Jagadeesan", title = "Robust Timed Automata", journal = j-LECT-NOTES-COMP-SCI, volume = "1201", pages = "331--??", year = "1997", CODEN = "LNCSD9", ISSN = "0302-9743 (print), 1611-3349 (electronic)", ISSN-L = "0302-9743", bibdate = "Fri Aug 22 11:59:49 MDT 1997", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", acknowledgement = ack-nhfb, } @InProceedings{Colby:1998:DIT, author = "C. Colby and L. J. Jagadeesan and R. Jagadeesan and K. L{\"a}ufer and C. Puchol", booktitle = "Proceedings of the 1998 IEEE International Conference on Computer Languages", title = "Design and Implementation of {Triveni}: {A} Process-algebraic {API} for Threads + Events", publisher = pub-IEEE, address = pub-IEEE:adr, year = "1998", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", note = "To appear.", } @InProceedings{Colby:1998:OPT, author = "C. Colby and L. J. Jagadeesan and R. Jagadeesan and K. L{\"a}ufer and C. Puchol", booktitle = "Proceedings of the 1998 Usenix Conference on Object Oriented Technologies and Systems", title = "Objects and Processes in {Triveni}: {A} telecommunication case study in {Java}", publisher = pub-USENIX, address = pub-USENIX:adr, pages = "??--??", year = "1998", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", note = "To appear.", } @InProceedings{Colby:1998:STP, author = "Christopher Colby and Lalita Jategaonkar and Radha Jagadeesan and Konstantin L{\"a}ufer and Carlos Puchol", booktitle = "{US--Brazil Joint Workshop on the Formal Foundations of Software Systems (Rio de Janeiro, 1997\slash New Orleans, LA, 1997)}", title = "The semantics of {Triveni}: a process-algebraic {API} for threads $+$ events", volume = "14", publisher = pub-ELSEVIER, address = pub-ELSEVIER:adr, pages = "1--27", year = "1998", MRclass = "68Q10 (68Q55 68Q90)", MRnumber = "1672337", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", series = "Electron. Notes Theor. Comput. Sci.", acknowledgement = ack-nhfb, } @Article{Gupta:1998:CCC, author = "V. Gupta and R. Jagadeesan and V. A. Saraswat", title = "Computing with continuous change", journal = j-SCI-COMPUT-PROGRAM, volume = "30", number = "1--2", pages = "3--49", month = jan, year = "1998", CODEN = "SCPGD4", DOI = "http://dx.doi.org/10.1016/S0167-6423(97)00006-3", ISSN = "0167-6423 (print), 1872-7964 (electronic)", ISSN-L = "0167-6423", MRclass = "68N17 (68T30)", MRnumber = "1608945 (98m:68035)", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Misc/Ciancarini.bib; http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib; MathSciNet database", note = "Concurrent constraint programming (Venice, 1995).", acknowledgement = ack-nhfb, affiliation = "Xerox PARC", affiliationaddress = "Palo Alto, USA", classification = "721.1; 723.1; 723.1.1; 723.4; 921; 921.2", fjournal = "Science of Computer Programming. Methods of Software Design: Techniques and Applications", journalabr = "Sci Comput Program", keyword = "continuous programming, differential equations, concurrent constraints", keywords = "Computational linguistics; Computer programming languages; Computer systems programming; Concurrent constraint programming; Constraint theory; Differential equations; Knowledge representation; Mathematical models", } @InProceedings{Desharnais:1999:MLM, author = "Jos{\'e}e Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden", booktitle = "{CONCUR}'99: concurrency theory ({Eindhoven})", title = "Metrics for labeled {Markov} systems", volume = "1664", publisher = pub-SV, address = pub-SV:adr, pages = "258--273", year = "1999", DOI = "http://dx.doi.org/10.1007/3-540-48320-9_19", MRclass = "68Q10 (68Q55 68Q60 68Q85)", MRnumber = "1873540", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", series = "Lecture Notes in Comput. Sci.", acknowledgement = ack-nhfb, } @Article{Abramsky:2000:FAP, author = "Samson Abramsky and Radha Jagadeesan and Pasquale Malacaria", title = "Full abstraction for {PCF}", journal = j-INF-COMPUT, volume = "163", number = "2", pages = "409--470", year = "2000", CODEN = "INFCEC", DOI = "http://dx.doi.org/10.1006/inco.2000.2930", ISSN = "0890-5401 (print), 1090-2651 (electronic)", ISSN-L = "0890-5401", MRclass = "68N18 (03B15 03D20 18C50 18D20 68Q05 91A40 91A80)", MRnumber = "1808887 (2003c:68044b)", MRreviewer = "Roberto Giacobazzi", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", acknowledgement = ack-nhfb, fjournal = "Information and Computation", } @InProceedings{Desharnais:2000:ALM, author = "Jos{\'e}e Desharnais and Radha Jagadeesan and Vineet Gupta and Prakash Panangaden", booktitle = "{15th Annual IEEE Symposium on Logic in Computer Science (Santa Barbara, CA, 2000)}", title = "Approximating labeled {Markov} processes", publisher = pub-IEEE, address = pub-IEEE:adr, pages = "95--106", year = "2000", DOI = "http://dx.doi.org/10.1109/LICS.2000.855759", MRclass = "68Q85 (60J25 68Q55 68Q60)", MRnumber = "1946089", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", acknowledgement = ack-nhfb, } @InProceedings{Godefroid:2001:ABM, author = "Patrice Godefroid and Michael Huth and Radha Jagadeesan", booktitle = "{CONCUR} 2001--concurrency theory ({Aalborg})", title = "Abstraction-based model checking using modal transition systems", volume = "2154", publisher = pub-SV, address = pub-SV:adr, pages = "426--440", year = "2001", DOI = "http://dx.doi.org/10.1007/3-540-44685-0_29", MRclass = "68Q60 (68Q85)", MRnumber = "1905489", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", series = "Lecture Notes in Comput. Sci.", acknowledgement = ack-nhfb, } @InProceedings{Desharnais:2002:WBS, author = "Jos{\'e}e Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden", booktitle = "{CONCUR} 2002---concurrency theory", title = "Weak bisimulation is sound and complete for {PCTL}*", volume = "2421", publisher = pub-SV, address = pub-SV:adr, pages = "355--370", year = "2002", DOI = "http://dx.doi.org/10.1007/3-540-45694-5_24", MRclass = "68Q60 (60J10 68Q85)", MRnumber = "2053816 (2005a:68132)", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", series = "Lecture Notes in Comput. Sci.", acknowledgement = ack-nhfb, } @InCollection{Godefroid:2002:AAU, author = "Patrice Godefroid and Radha Jagadeesan", booktitle = "Computer aided verification", title = "Automatic abstraction using generalized model checking", volume = "2404", publisher = pub-SV, address = pub-SV:adr, pages = "137--150", year = "2002", DOI = "http://dx.doi.org/10.1007/3-540-45657-0_11", MRclass = "68Q60", MRnumber = "2071635", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", series = "Lecture Notes in Comput. Sci.", acknowledgement = ack-nhfb, } @Article{Gupta:2002:TCC, author = "V. Gupta and R. Jagadeesan and V. A. Saraswat", title = "Truly concurrent constraint programming", journal = j-THEOR-COMP-SCI, volume = "278", number = "1-2", pages = "223--255", year = "2002", CODEN = "TCSDIQ", DOI = "http://dx.doi.org/10.1016/S0304-3975(00)00337-6", ISSN = "0304-3975 (print), 1879-2294 (electronic)", ISSN-L = "0304-3975", MRclass = "68Q85 (68N15 68Q55)", MRnumber = "1901606 (2003d:68190)", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", note = "Mathematical foundations of programming semantics (Boulder, CO, 1996)", acknowledgement = ack-nhfb, fjournal = "Theoretical Computer Science", } @InCollection{Abramsky:2003:GSG, author = "Samson Abramsky and Radha Jagadeesan", booktitle = "Foundations of software science and computation structures", title = "A game semantics for generic polymorphism", volume = "2620", publisher = pub-SV, address = pub-SV:adr, pages = "1--22", year = "2003", DOI = "http://dx.doi.org/10.1007/3-540-36576-1_1", MRclass = "68N15 (68N19 68Q55 68Q65)", MRnumber = "2083673", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", series = "Lecture Notes in Comput. Sci.", acknowledgement = ack-nhfb, } @Article{Desharnais:2003:ALM, author = "Jos{\'e}e Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden", title = "Approximating labelled {Markov} processes", journal = j-INF-COMPUT, volume = "184", number = "1", pages = "160--200", year = "2003", CODEN = "INFCEC", DOI = "http://dx.doi.org/10.1016/S0890-5401(03)00051-8", ISSN = "0890-5401 (print), 1090-2651 (electronic)", ISSN-L = "0890-5401", MRclass = "68Q85 (60J20 60J25 68Q55 68Q60)", MRnumber = "1983184 (2004c:68096)", MRreviewer = "Dieter Spreen", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", acknowledgement = ack-nhfb, fjournal = "Information and Computation", } @Article{Desharnais:2004:MLM, author = "Jos{\'e}e Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden", title = "Metrics for labelled {Markov} processes", journal = j-THEOR-COMP-SCI, volume = "318", number = "3", pages = "323--354", year = "2004", CODEN = "TCSDIQ", DOI = "http://dx.doi.org/10.1016/j.tcs.2003.09.013", ISSN = "0304-3975 (print), 1879-2294 (electronic)", ISSN-L = "0304-3975", MRclass = "68Q85 (68Q10 68Q60)", MRnumber = "2060517 (2005g:68117)", MRreviewer = "Raymond Devillers", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", acknowledgement = ack-nhfb, fjournal = "Theoretical Computer Science", } @Article{Huth:2004:DER, author = "Michael R. A. Huth and Radha Jagadeesan and David A. Schmidt", title = "A domain equation for refinement of partial systems", journal = "Math. Structures Comput. Sci.", volume = "14", number = "4", pages = "469--505", year = "2004", DOI = "http://dx.doi.org/10.1017/S0960129504004268", ISSN = "0960-1295", MRclass = "68Q55 (68Q60)", MRnumber = "2087016 (2005g:68091)", MRreviewer = "Kamal Lodaya", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", acknowledgement = ack-nhfb, fjournal = "Mathematical Structures in Computer Science. A Journal in the Applications of Categorical, Algebraic and Geometric Methods in Computer Science", } @Article{Abramsky:2005:GSG, author = "Samson Abramsky and Radha Jagadeesan", title = "A game semantics for generic polymorphism", journal = "Ann. Pure Appl. Logic", volume = "133", number = "1-3", pages = "3--37", year = "2005", CODEN = "APALD7", DOI = "http://dx.doi.org/10.1016/j.apal.2004.10.002", ISSN = "0168-0072", MRclass = "68N18 (03B40 68N15)", MRnumber = "2126152 (2006a:68015)", MRreviewer = "Fairouz D. Kamareddine", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", acknowledgement = ack-nhfb, fjournal = "Annals of Pure and Applied Logic", } @InProceedings{Jagadeesan:2005:TCS, author = "Radha Jagadeesan and Gopalan Nadathur and Vijay Saraswat", booktitle = "{FSTTCS} 2005: {Foundations} of software technology and theoretical computer science", title = "Testing concurrent systems: an interpretation of intuitionistic logic", volume = "3821", publisher = pub-SV, address = pub-SV:adr, pages = "517--528", year = "2005", DOI = "http://dx.doi.org/10.1007/11590156_42", MRclass = "68Q85 (03B20 68Q55)", MRnumber = "2213019", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", series = "Lecture Notes in Comput. Sci.", acknowledgement = ack-nhfb, } @InProceedings{Saraswat:2005:CCP, author = "Vijay Saraswat and Radha Jagadeesan", booktitle = "{CONCUR} 2005---concurrency theory", title = "Concurrent clustered programming (extended abstract)", volume = "3653", publisher = pub-SV, address = pub-SV:adr, pages = "353--367", year = "2005", DOI = "http://dx.doi.org/10.1007/11539452_28", MRclass = "68N19 (68Q85)", MRnumber = "2198070", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", series = "Lecture Notes in Comput. Sci.", acknowledgement = ack-nhfb, } @Article{Gupta:2006:ARR, author = "Vineet Gupta and Radha Jagadeesan and Prakash Panangaden", title = "Approximate reasoning for real-time probabilistic processes", journal = "Log. Methods Comput. Sci.", volume = "2", number = "1", pages = "1:4, 23", year = "2006", DOI = "http://dx.doi.org/10.2168/LMCS-2(1:4)2006", ISSN = "1860-5974", MRclass = "68Q85 (68Q55 68Q60)", MRnumber = "2295763 (2008a:68173)", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", acknowledgement = ack-nhfb, fjournal = "Logical Methods in Computer Science", } @InCollection{Jagadeesan:2006:PRB, author = "Radha Jagadeesan and Alan Jeffrey and Corin Pitcher and James Riely", booktitle = "Automata, languages and programming. {Part II}", title = "{$\lambda$-${\sf RBAC}$}: programming with role-based access control", volume = "4052", publisher = pub-SV, address = pub-SV:adr, pages = "456--467", year = "2006", DOI = "http://dx.doi.org/10.1007/11787006_39", MRclass = "68N15 (94A62)", MRnumber = "2307257", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", series = "Lecture Notes in Comput. Sci.", acknowledgement = ack-nhfb, } @Article{Jagadeesan:2006:TPP, author = "Radha Jagadeesan and Alan Jeffrey and James Riely", title = "Typed parametric polymorphism for aspects", journal = j-SCI-COMPUT-PROGRAM, volume = "63", number = "3", pages = "267--296", year = "2006", CODEN = "SCPGD4", DOI = "http://dx.doi.org/10.1016/j.scico.2006.02.008", ISSN = "0167-6423 (print), 1872-7964 (electronic)", ISSN-L = "0167-6423", MRclass = "Database Expansion Item", MRnumber = "2297459", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", acknowledgement = ack-nhfb, fjournal = "Science of Computer Programming. Methods of Software Design: Techniques and Applications", } @Article{Alur:2007:PSI, author = "Rajeev Alur and Radha Jagadeesan and Leonid Libkin", title = "{Preface [Special issue: selected papers of the conference ``Logic in Computer Science 2006'']}", journal = "Log. Methods Comput. Sci.", volume = "??", number = "??", pages = "[front matter]", year = "2007", ISSN = "1860-5974", MRclass = "68-06 (03-06 03B70)", MRnumber = "2501087", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", note = "Special issue: Conference ``Logic in Computer Science 2006'', held in Seattle, WA, August 12--15, 2006", acknowledgement = ack-nhfb, fjournal = "Logical Methods in Computer Science", } @Article{Jagadeesan:2008:RPR, author = "Radha Jagadeesan and Alan Jeffrey and Corin Pitcher and James Riely", title = "{$\lambda$}-{RBAC}: programming with role-based access control [reprint of {MR2375571}]", journal = "Log. Methods Comput. Sci.", volume = "4", number = "1", pages = "1:2, 1--24", year = "2008", DOI = "http://dx.doi.org/10.2168/LMCS-4(1:2)2008", ISSN = "1860-5974", MRclass = "68N18", MRclass = "68N01 (68N15)", MRnumber = "2734713, 2375571", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", note = "Special issue: Conference ``International Colloquium on Automata, Languages and Programming 2006''", acknowledgement = ack-nhfb, fjournal = "Logical Methods in Computer Science", xxpages = "1:2, 25", } @Article{Desharnais:2010:WBS, author = "Jos{\'e}e Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden", title = "Weak bisimulation is sound and complete for {pCTL}", journal = j-INF-COMPUT, volume = "208", number = "2", pages = "203--219", year = "2010", CODEN = "INFCEC", DOI = "http://dx.doi.org/10.1016/j.ic.2009.11.002", ISSN = "0890-5401 (print), 1090-2651 (electronic)", ISSN-L = "0890-5401", MRclass = "68Q60 (03B44 60J20 68Q85)", MRnumber = "2597453", bibdate = "Wed Sep 28 14:19:23 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", acknowledgement = ack-nhfb, fjournal = "Information and Computation", } %%% ==================================================================== %%% Cross-referenced entries must come last: @Proceedings{Main:1990:MFP, editor = "M. Main", booktitle = "Mathematical foundations of programming semantics: 5th international conference, Tulane University, New Orleans, Louisiana, {USA}, March 29--April 1, 1989: proceedings", title = "Mathematical foundations of programming semantics: 5th international conference, Tulane University, New Orleans, Louisiana, {USA}, March 29--April 1, 1989: proceedings", volume = "442", publisher = pub-SV, address = pub-SV:adr, pages = "vi + 439", year = "1990", CODEN = "LNCSD9", ISBN = "0-387-52790-7 (New York)", ISBN-13 = "978-0-387-52790-1 (New York)", ISSN = "0302-9743 (print), 1611-3349 (electronic)", LCCN = "QA76.7 .M38 1990", bibdate = "Fri Apr 12 07:14:53 1996", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", note = "Proceedings of the Fifth International Conference on the Mathematical Foundations of Programming Semantics.", series = ser-LNCS, acknowledgement = ack-nhfb, keywords = "computer science --- mathematics --- congresses; programming languages (electronic computers) --- semantics --- congresses", } @Proceedings{Paterson:1990:ALP, editor = "Michael S. Paterson", booktitle = "Automata, languages, and programming: 17th international colloquium, Warwick University, England, July 16--20, 1990: proceedings", title = "Automata, languages, and programming: 17th international colloquium, Warwick University, England, July 16--20, 1990: proceedings", volume = "443", publisher = pub-SV, address = pub-SV:adr, pages = "ix + 780", year = "1990", CODEN = "LNCSD9", ISBN = "3-540-52826-1 (Berlin), 0-387-52826-1 (New York)", ISBN-13 = "978-3-540-52826-5 (Berlin), 978-0-387-52826-7 (New York)", ISSN = "0302-9743 (print), 1611-3349 (electronic)", LCCN = "QA267.A1 L43 no.443", bibdate = "Fri Apr 12 07:14:53 1996", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", note = "ICALP (International Colloquium on Automata, Languages, and Programming) was sponsored by the European Association for Theoretical Computer Science.", series = ser-LNCS, acknowledgement = ack-nhfb, keywords = "machine theory --- congresses", } @Proceedings{ACM:1992:CRN, editor = "{ACM}", key = "ACM SIGPLAN POPL '92", booktitle = "Conference record of the Nineteenth Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages: papers presented at the symposium, {Albuquerque, New Mexico}, {January} 19--22, 1992", title = "Conference record of the Nineteenth Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages: papers presented at the symposium, {Albuquerque, New Mexico}, {January} 19--22, 1992", publisher = pub-ACM, address = pub-ACM:adr, pages = "viii + 366", year = "1992", ISBN = "0-89791-453-8", ISBN-13 = "978-0-89791-453-6", LCCN = "QA76.7 .A15 1992", bibdate = "Thu Aug 18 03:30:22 MDT 1994", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", note = "ACM order number 54990.", acknowledgement = ack-nhfb, keywords = "electronic digital computers --- programming --- congresses; programming languages (electronic computers) --- congresses", } @Proceedings{Alagar:1995:AMS, editor = "Vangalur S. Alagar and M. Nivat", booktitle = "Algebraic methodology and software technology: 4th international conference, {AMAST} '95, Montreal, Canada, July 3--7, 1995: proceedings", title = "Algebraic methodology and software technology: 4th international conference, {AMAST} '95, Montreal, Canada, July 3--7, 1995: proceedings", volume = "936", publisher = pub-SV, address = pub-SV:adr, pages = "xiv + 591", year = "1995", CODEN = "LNCSD9", ISBN = "3-540-60043-4 (Berlin)", ISBN-13 = "978-3-540-60043-5 (Berlin)", ISSN = "0302-9743 (print), 1611-3349 (electronic)", LCCN = "QA76.758 .I5713 1995", bibdate = "Fri Apr 12 07:15:03 1996", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", series = ser-LNCS, acknowledgement = ack-nhfb, keywords = "software engineering --- congresses; abstract data types (computer science) --- congresses", xxvolume = "4005051456", } @Proceedings{Montanari:1996:CCT, editor = "U. (Ugo) Montanari and Vladimiro Sassone", booktitle = "{CONCUR} '96: concurrency theory: 7th International Conference, Pisa, Italy, August 26--29, 1996: proceedings", title = "{CONCUR} '96: concurrency theory: 7th International Conference, Pisa, Italy, August 26--29, 1996: proceedings", volume = "1119", publisher = pub-SV, address = pub-SV:adr, pages = "xii + 750", year = "1996", ISBN = "3-540-61604-7", ISBN-13 = "978-3-540-61604-7", ISSN = "0302-9743 (print), 1611-3349 (electronic)", LCCN = "QA76.58 .I53 1996", bibdate = "Sat Dec 21 16:06:37 MST 1996", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", series = ser-LNCS, acknowledgement = ack-nhfb, keywords = "Parallel processing (Electronic computers) -- Congresses.", } %% Last MathSciNet database search: Wed Sep 28 15:25:27 2011 [years 1970--2012]