@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"}
@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"}
@String{ser-LNCS = "Lecture Notes in Computer Science"}
@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 = "https://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",
pages = "181--194",
month = jul,
year = "1990",
DOI = "https://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",
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 = "https://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 = "https://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",
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",
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 = "https://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",
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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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",
}
@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.",
}
