Valid HTML 4.0! Valid CSS!
%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Radha Jagadeesan",
%%%     version         = "1.10",
%%%     date            = "13 October 2017",
%%%     time            = "16:02:40 MDT",
%%%     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        = "63733 1109 4453 45029",
%%%     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.10, 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 =          "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",
}

%%% ====================================================================
%%% 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]