BibTeX records: Radha Jagadeesan

download as .bib file

@article{DBLP:journals/pacmpl/JagadeesanJR20,
  author       = {Radha Jagadeesan and
                  Alan Jeffrey and
                  James Riely},
  title        = {Pomsets with preconditions: a simple model of relaxed memory},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{OOPSLA}},
  pages        = {194:1--194:30},
  year         = {2020},
  url          = {https://doi.org/10.1145/3428262},
  doi          = {10.1145/3428262},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/JagadeesanJR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/DongolJR19,
  author       = {Brijesh Dongol and
                  Radha Jagadeesan and
                  James Riely},
  editor       = {Jeffrey K. Hollingsworth and
                  Idit Keidar},
  title        = {Modular transactions: bounding mixed races in space and time},
  booktitle    = {Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and
                  Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA,
                  February 16-20, 2019},
  pages        = {82--93},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3293883.3295708},
  doi          = {10.1145/3293883.3295708},
  timestamp    = {Sun, 12 Jun 2022 19:46:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ppopp/DongolJR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/DisselkoenJJR19,
  author       = {Craig Disselkoen and
                  Radha Jagadeesan and
                  Alan Jeffrey and
                  James Riely},
  title        = {The Code That Never Ran: Modeling Attacks on Speculative Evaluation},
  booktitle    = {2019 {IEEE} Symposium on Security and Privacy, {SP} 2019, San Francisco,
                  CA, USA, May 19-23, 2019},
  pages        = {1238--1255},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SP.2019.00047},
  doi          = {10.1109/SP.2019.00047},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sp/DisselkoenJJR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/VakarJA18,
  author       = {Matthijs V{\'{a}}k{\'{a}}r and
                  Radha Jagadeesan and
                  Samson Abramsky},
  title        = {Game semantics for dependent types},
  journal      = {Inf. Comput.},
  volume       = {261},
  pages        = {401--431},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ic.2018.02.015},
  doi          = {10.1016/J.IC.2018.02.015},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/VakarJA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/DongolJR18,
  author       = {Brijesh Dongol and
                  Radha Jagadeesan and
                  James Riely},
  title        = {Transactions in relaxed memory architectures},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {2},
  number       = {{POPL}},
  pages        = {18:1--18:29},
  year         = {2018},
  url          = {https://doi.org/10.1145/3158106},
  doi          = {10.1145/3158106},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/DongolJR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JagadeesanR18,
  author       = {Radha Jagadeesan and
                  James Riely},
  editor       = {Amal Ahmed},
  title        = {Eventual Consistency for CRDTs},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {968--995},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_34},
  doi          = {10.1007/978-3-319-89884-1\_34},
  timestamp    = {Tue, 05 Jul 2022 08:30:25 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/JagadeesanR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DongolJRA18,
  author       = {Brijesh Dongol and
                  Radha Jagadeesan and
                  James Riely and
                  Alasdair Armstrong},
  editor       = {Isil Dillig and
                  Jens Palsberg},
  title        = {On abstraction and compositionality for weak-memory linearisability},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 19th International
                  Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10747},
  pages        = {183--204},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73721-8\_9},
  doi          = {10.1007/978-3-319-73721-8\_9},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/DongolJRA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GotoJJPR16,
  author       = {Matthew A. Goto and
                  Radha Jagadeesan and
                  Alan Jeffrey and
                  Corin Pitcher and
                  James Riely},
  title        = {An extensible approach to session polymorphism},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {26},
  number       = {3},
  pages        = {465--509},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0960129514000231},
  doi          = {10.1017/S0960129514000231},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/GotoJJPR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2016,
  editor       = {Jos{\'{e}}e Desharnais and
                  Radha Jagadeesan},
  title        = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
                  August 23-26, 2016, Qu{\'{e}}bec City, Canada},
  series       = {LIPIcs},
  volume       = {59},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {http://www.dagstuhl.de/dagpub/978-3-95977-017-0},
  isbn         = {978-3-95977-017-0},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AbramskyJV15,
  author       = {Samson Abramsky and
                  Radha Jagadeesan and
                  Matthijs V{\'{a}}k{\'{a}}r},
  editor       = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
                  Kazuo Iwama and
                  Naoki Kobayashi and
                  Bettina Speckmann},
  title        = {Games for Dependent Types},
  booktitle    = {Automata, Languages, and Programming - 42nd International Colloquium,
                  {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9135},
  pages        = {31--43},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-47666-6\_3},
  doi          = {10.1007/978-3-662-47666-6\_3},
  timestamp    = {Fri, 27 Mar 2020 09:02:59 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/AbramskyJV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JagadeesanR15,
  author       = {Radha Jagadeesan and
                  James Riely},
  editor       = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
                  Kazuo Iwama and
                  Naoki Kobayashi and
                  Bettina Speckmann},
  title        = {From Sequential Specifications to Eventual Consistency},
  booktitle    = {Automata, Languages, and Programming - 42nd International Colloquium,
                  {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9135},
  pages        = {247--259},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-47666-6\_20},
  doi          = {10.1007/978-3-662-47666-6\_20},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/JagadeesanR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbramskyJV15,
  author       = {Samson Abramsky and
                  Radha Jagadeesan and
                  Matthijs V{\'{a}}k{\'{a}}r},
  title        = {Games for Dependent Types},
  journal      = {CoRR},
  volume       = {abs/1508.05023},
  year         = {2015},
  url          = {http://arxiv.org/abs/1508.05023},
  eprinttype    = {arXiv},
  eprint       = {1508.05023},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AbramskyJV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SaraswatGJ14,
  author       = {Vijay A. Saraswat and
                  Vineet Gupta and
                  Radha Jagadeesan},
  editor       = {Franck van Breugel and
                  Elham Kashefi and
                  Catuscia Palamidessi and
                  Jan Rutten},
  title        = {TCC, with History},
  booktitle    = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated
                  to Prakash Panangaden on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8464},
  pages        = {458--475},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06880-0\_24},
  doi          = {10.1007/978-3-319-06880-0\_24},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/SaraswatGJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/JagadeesanLPRW14,
  author       = {Radha Jagadeesan and
                  C. M. Lubinski and
                  Corin Pitcher and
                  James Riely and
                  Charles Winebrinner},
  title        = {Certificates for Verifiable Forensics},
  booktitle    = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna,
                  Austria, 19-22 July, 2014},
  pages        = {33--47},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/CSF.2014.11},
  doi          = {10.1109/CSF.2014.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csfw/JagadeesanLPRW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JagadeesanR14,
  author       = {Radha Jagadeesan and
                  James Riely},
  editor       = {Javier Esparza and
                  Pierre Fraigniaud and
                  Thore Husfeldt and
                  Elias Koutsoupias},
  title        = {Between Linearizability and Quiescent Consistency - Quantitative Quiescent
                  Consistency},
  booktitle    = {Automata, Languages, and Programming - 41st International Colloquium,
                  {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
                  {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8573},
  pages        = {220--231},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-43951-7\_19},
  doi          = {10.1007/978-3-662-43951-7\_19},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/JagadeesanR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbramskyJ14,
  author       = {Samson Abramsky and
                  Radha Jagadeesan},
  title        = {Game Semantics for Access Control},
  journal      = {CoRR},
  volume       = {abs/1401.5325},
  year         = {2014},
  url          = {http://arxiv.org/abs/1401.5325},
  eprinttype    = {arXiv},
  eprint       = {1401.5325},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AbramskyJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JagadeesanR14,
  author       = {Radha Jagadeesan and
                  James Riely},
  title        = {Between Linearizability and Quiescent Consistency: Quantitative Quiescent
                  Consistency},
  journal      = {CoRR},
  volume       = {abs/1402.4043},
  year         = {2014},
  url          = {http://arxiv.org/abs/1402.4043},
  eprinttype    = {arXiv},
  eprint       = {1402.4043},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/JagadeesanR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JagadeesanPPR13,
  author       = {Radha Jagadeesan and
                  Gustavo Petri and
                  Corin Pitcher and
                  James Riely},
  editor       = {Matthias Felleisen and
                  Philippa Gardner},
  title        = {Quarantining Weakness - Compositional Reasoning under Relaxed Memory
                  Models (Extended Abstract)},
  booktitle    = {Programming Languages and Systems - 22nd European Symposium on Programming,
                  {ESOP} 2013, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
                  2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7792},
  pages        = {492--511},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-37036-6\_27},
  doi          = {10.1007/978-3-642-37036-6\_27},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/JagadeesanPPR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/JagadeesanPR13,
  author       = {Radha Jagadeesan and
                  Corin Pitcher and
                  James Riely},
  editor       = {Kamal Lodaya},
  title        = {Noninterference for Intuitionist Necessity},
  booktitle    = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
                  India, January 10-12, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7750},
  pages        = {185--196},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36039-8\_17},
  doi          = {10.1007/978-3-642-36039-8\_17},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/icla/JagadeesanPR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SaraswatJG13,
  author       = {Vijay A. Saraswat and
                  Radha Jagadeesan and
                  Vineet Gupta},
  title        = {TCC, with History},
  journal      = {CoRR},
  volume       = {abs/1310.5538},
  year         = {2013},
  url          = {http://arxiv.org/abs/1310.5538},
  eprinttype    = {arXiv},
  eprint       = {1310.5538},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SaraswatJG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbramskyJ13,
  author       = {Samson Abramsky and
                  Radha Jagadeesan},
  title        = {Games and Full Completeness for Multiplicative Linear Logic},
  journal      = {CoRR},
  volume       = {abs/1311.6057},
  year         = {2013},
  url          = {http://arxiv.org/abs/1311.6057},
  eprinttype    = {arXiv},
  eprint       = {1311.6057},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AbramskyJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbramskyJM13,
  author       = {Samson Abramsky and
                  Radha Jagadeesan and
                  Pasquale Malacaria},
  title        = {Full Abstraction for {PCF}},
  journal      = {CoRR},
  volume       = {abs/1311.6125},
  year         = {2013},
  url          = {http://arxiv.org/abs/1311.6125},
  eprinttype    = {arXiv},
  eprint       = {1311.6125},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AbramskyJM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbramskyJ13a,
  author       = {Samson Abramsky and
                  Radha Jagadeesan},
  title        = {A Game Semantics for Generic Polymorphism},
  journal      = {CoRR},
  volume       = {abs/1312.1120},
  year         = {2013},
  url          = {http://arxiv.org/abs/1312.1120},
  eprinttype    = {arXiv},
  eprint       = {1312.1120},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AbramskyJ13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/JagadeesanPR12,
  author       = {Radha Jagadeesan and
                  Corin Pitcher and
                  James Riely},
  editor       = {Ranjit Jhala and
                  Atsushi Igarashi},
  title        = {Succour to the Confused Deputy - Types for Capabilities},
  booktitle    = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
                  2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7705},
  pages        = {66--81},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35182-2\_6},
  doi          = {10.1007/978-3-642-35182-2\_6},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/JagadeesanPR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/JagadeesanPR12,
  author       = {Radha Jagadeesan and
                  Gustavo Petri and
                  James Riely},
  editor       = {Lars Birkedal},
  title        = {Brookes Is Relaxed, Almost!},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {180--194},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_12},
  doi          = {10.1007/978-3-642-28729-9\_12},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/JagadeesanPR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/GotoJPR12,
  author       = {Matthew Goto and
                  Radha Jagadeesan and
                  Corin Pitcher and
                  James Riely},
  editor       = {Benjamin C. Pierce},
  title        = {Types for relaxed memory models},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Types in Languages
                  Design and Implementation, {TLDI} 2012, Philadelphia, PA, USA, Saturday,
                  January 28, 2012},
  pages        = {25--38},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103786.2103791},
  doi          = {10.1145/2103786.2103791},
  timestamp    = {Thu, 11 May 2023 14:56:29 +0200},
  biburl       = {https://dblp.org/rec/conf/tldi/GotoJPR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/JagadeesanPRR11,
  author       = {Radha Jagadeesan and
                  Corin Pitcher and
                  Julian Rathke and
                  James Riely},
  title        = {Local Memory via Layout Randomization},
  booktitle    = {Proceedings of the 24th {IEEE} Computer Security Foundations Symposium,
                  {CSF} 2011, Cernay-la-Ville, France, 27-29 June, 2011},
  pages        = {161--174},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/CSF.2011.18},
  doi          = {10.1109/CSF.2011.18},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csfw/JagadeesanPRR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DesharnaisGJP10,
  author       = {Jos{\'{e}}e Desharnais and
                  Vineet Gupta and
                  Radha Jagadeesan and
                  Prakash Panangaden},
  title        = {Weak bisimulation is sound and complete for pCTL\({}^{\mbox{*}}\)},
  journal      = {Inf. Comput.},
  volume       = {208},
  number       = {2},
  pages        = {203--219},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.ic.2009.11.002},
  doi          = {10.1016/J.IC.2009.11.002},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/DesharnaisGJP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JagadeesanPR10,
  author       = {Radha Jagadeesan and
                  Corin Pitcher and
                  James Riely},
  editor       = {Andrew D. Gordon},
  title        = {Generative Operational Semantics for Relaxed Memory Models},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  pages        = {307--326},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_17},
  doi          = {10.1007/978-3-642-11957-6\_17},
  timestamp    = {Mon, 14 Feb 2022 09:20:30 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/JagadeesanPR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taosd/JagadeesanPR09,
  author       = {Radha Jagadeesan and
                  Corin Pitcher and
                  James Riely},
  title        = {Open Bisimulation for Aspects},
  journal      = {{LNCS} Trans. Aspect Oriented Softw. Dev.},
  volume       = {5},
  pages        = {72--132},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02059-9\_3},
  doi          = {10.1007/978-3-642-02059-9\_3},
  timestamp    = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/taosd/JagadeesanPR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/JagadeesanJPR09,
  author       = {Radha Jagadeesan and
                  Alan Jeffrey and
                  Corin Pitcher and
                  James Riely},
  editor       = {Michael Backes and
                  Peng Ning},
  title        = {Towards a Theory of Accountability and Audit},
  booktitle    = {Computer Security - {ESORICS} 2009, 14th European Symposium on Research
                  in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5789},
  pages        = {152--167},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04444-1\_10},
  doi          = {10.1007/978-3-642-04444-1\_10},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esorics/JagadeesanJPR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbramskyJ09,
  author       = {Samson Abramsky and
                  Radha Jagadeesan},
  editor       = {Samson Abramsky and
                  Michael W. Mislove and
                  Catuscia Palamidessi},
  title        = {Game Semantics for Access Control},
  booktitle    = {Proceedings of the 25th Conference on Mathematical Foundations of
                  Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {249},
  pages        = {135--156},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.088},
  doi          = {10.1016/J.ENTCS.2009.07.088},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AbramskyJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/JagadeesanJPR08,
  author       = {Radha Jagadeesan and
                  Alan Jeffrey and
                  Corin Pitcher and
                  James Riely},
  title        = {Lambda-RBAC: Programming with Role-Based Access Control},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {4},
  number       = {1},
  year         = {2008},
  url          = {https://doi.org/10.2168/LMCS-4(1:2)2008},
  doi          = {10.2168/LMCS-4(1:2)2008},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/JagadeesanJPR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Jagadeesan08,
  author       = {Radha Jagadeesan},
  editor       = {G. Ramalingam},
  title        = {From Authorization Logics to Types for Authorization},
  booktitle    = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008,
                  Bangalore, India, December 9-11, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5356},
  pages        = {255},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89330-1\_18},
  doi          = {10.1007/978-3-540-89330-1\_18},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Jagadeesan08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CirilloJPR08,
  author       = {Andrew Cirillo and
                  Radha Jagadeesan and
                  Corin Pitcher and
                  James Riely},
  editor       = {Sophia Drossopoulou},
  title        = {Tapido: Trust and Authorization Via Provenance and Integrity in Distributed
                  Objects (Extended Abstract)},
  booktitle    = {Programming Languages and Systems, 17th European Symposium on Programming,
                  {ESOP} 2008, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
                  6, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4960},
  pages        = {208--223},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78739-6\_17},
  doi          = {10.1007/978-3-540-78739-6\_17},
  timestamp    = {Sun, 02 Jun 2019 21:23:56 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/CirilloJPR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/JagadeesanPR07,
  author       = {Radha Jagadeesan and
                  Corin Pitcher and
                  James Riely},
  editor       = {Brian M. Barry and
                  Oege de Moor},
  title        = {Open bisimulation for aspects},
  booktitle    = {Proceedings of the 6th International Conference on Aspect-Oriented
                  Software Development, {AOSD} 2007, Vancouver, British Columbia, Canada,
                  March 12-16, 2007},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {208},
  pages        = {107--120},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1218563.1218577},
  doi          = {10.1145/1218563.1218577},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aosd/JagadeesanPR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/CirilloJPR07,
  author       = {Andrew Cirillo and
                  Radha Jagadeesan and
                  Corin Pitcher and
                  James Riely},
  title        = {Do As {I} SaY! Programmatic Access Control with Explicit Identities},
  booktitle    = {20th {IEEE} Computer Security Foundations Symposium, {CSF} 2007, 6-8
                  July 2007, Venice, Italy},
  pages        = {16--30},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/CSF.2007.19},
  doi          = {10.1109/CSF.2007.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csfw/CirilloJPR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Jagadeesan07,
  author       = {Radha Jagadeesan},
  editor       = {Helmut Seidl},
  title        = {Formal Foundations for Aspects},
  booktitle    = {Foundations of Software Science and Computational Structures, 10th
                  International Conference, {FOSSACS} 2007, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2007,
                  Braga, Portugal, March 24-April 1, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4423},
  pages        = {1},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71389-0\_1},
  doi          = {10.1007/978-3-540-71389-0\_1},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/Jagadeesan07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/SaraswatJMP07,
  author       = {Vijay A. Saraswat and
                  Radha Jagadeesan and
                  Maged M. Michael and
                  Christoph von Praun},
  editor       = {Katherine A. Yelick and
                  John M. Mellor{-}Crummey},
  title        = {A theory of memory models},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} Symposium on Principles and
                  Practice of Parallel Programming, {PPOPP} 2007, San Jose, California,
                  USA, March 14-17, 2007},
  pages        = {161--172},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1229428.1229469},
  doi          = {10.1145/1229428.1229469},
  timestamp    = {Sun, 12 Jun 2022 19:46:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ppopp/SaraswatJMP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/ZhangAJRP07,
  author       = {Bin Zhang and
                  Ehab Al{-}Shaer and
                  Radha Jagadeesan and
                  James Riely and
                  Corin Pitcher},
  editor       = {Volkmar Lotz and
                  Bhavani Thuraisingham},
  title        = {Specifications of a high-level conflict-free firewall policy language
                  for multi-domain networks},
  booktitle    = {12th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
                  2007, Sophia Antipolis, France, June 20-22, 2007, Proceedings},
  pages        = {185--194},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1266840.1266871},
  doi          = {10.1145/1266840.1266871},
  timestamp    = {Wed, 29 Jun 2022 15:37:42 +0200},
  biburl       = {https://dblp.org/rec/conf/sacmat/ZhangAJRP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0712-1205,
  author       = {Radha Jagadeesan and
                  Alan Jeffrey and
                  Corin Pitcher and
                  James Riely},
  title        = {Lambda-RBAC: Programming with Role-Based Access Control},
  journal      = {CoRR},
  volume       = {abs/0712.1205},
  year         = {2007},
  url          = {http://arxiv.org/abs/0712.1205},
  eprinttype    = {arXiv},
  eprint       = {0712.1205},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0712-1205.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GuptaJP06,
  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},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(1:4)2006},
  doi          = {10.2168/LMCS-2(1:4)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/GuptaJP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JagadeesanJR06,
  author       = {Radha Jagadeesan and
                  Alan Jeffrey and
                  James Riely},
  title        = {Typed parametric polymorphism for aspects},
  journal      = {Sci. Comput. Program.},
  volume       = {63},
  number       = {3},
  pages        = {267--296},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.02.008},
  doi          = {10.1016/J.SCICO.2006.02.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/JagadeesanJR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/ChatterjeeJP06,
  author       = {Krishnendu Chatterjee and
                  Radha Jagadeesan and
                  Corin Pitcher},
  title        = {Games for Controls},
  booktitle    = {19th {IEEE} Computer Security Foundations Workshop, {(CSFW-19} 2006),
                  5-7 July 2006, Venice, Italy},
  pages        = {70--84},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/CSFW.2006.14},
  doi          = {10.1109/CSFW.2006.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csfw/ChatterjeeJP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JagadeesanJPR06,
  author       = {Radha Jagadeesan and
                  Alan Jeffrey and
                  Corin Pitcher and
                  James Riely},
  editor       = {Michele Bugliesi and
                  Bart Preneel and
                  Vladimiro Sassone and
                  Ingo Wegener},
  title        = {\emph{lambda}-RBAC: Programming with Role-Based Access Control},
  booktitle    = {Automata, Languages and Programming, 33rd International Colloquium,
                  {ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4052},
  pages        = {456--467},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11787006\_39},
  doi          = {10.1007/11787006\_39},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/JagadeesanJPR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AbramskyJ05,
  author       = {Samson Abramsky and
                  Radha Jagadeesan},
  title        = {A game semantics for generic polymorphism},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {133},
  number       = {1-3},
  pages        = {3--37},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.apal.2004.10.002},
  doi          = {10.1016/J.APAL.2004.10.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/AbramskyJ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/SaraswatJ05,
  author       = {Vijay A. Saraswat and
                  Radha Jagadeesan},
  editor       = {Mart{\'{\i}}n Abadi and
                  Luca de Alfaro},
  title        = {Concurrent Clustered Programming},
  booktitle    = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
                  {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3653},
  pages        = {353--367},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11539452\_28},
  doi          = {10.1007/11539452\_28},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/SaraswatJ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/JagadeesanNS05,
  author       = {Radha Jagadeesan and
                  Gopalan Nadathur and
                  Vijay A. Saraswat},
  editor       = {Ramaswamy Ramanujam and
                  Sandeep Sen},
  title        = {Testing Concurrent Systems: An Interpretation of Intuitionistic Logic},
  booktitle    = {{FSTTCS} 2005: Foundations of Software Technology and Theoretical
                  Computer Science, 25th International Conference, Hyderabad, India,
                  December 15-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3821},
  pages        = {517--528},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11590156\_42},
  doi          = {10.1007/11590156\_42},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/JagadeesanNS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/JagadeesanM05,
  author       = {Radha Jagadeesan and
                  Will Marrero and
                  Corin Pitcher and
                  Vijay A. Saraswat},
  editor       = {Pedro Barahona and
                  Amy P. Felty},
  title        = {Timed constraint programming: a declarative approach to usage control},
  booktitle    = {Proceedings of the 7th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 11-13 2005,
                  Lisbon, Portugal},
  pages        = {164--175},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1069774.1069790},
  doi          = {10.1145/1069774.1069790},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/JagadeesanM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0505063,
  author       = {Vineet Gupta and
                  Radha Jagadeesan and
                  Prakash Panangaden},
  title        = {Approximate reasoning for real-time probabilistic processes},
  journal      = {CoRR},
  volume       = {abs/cs/0505063},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505063},
  eprinttype    = {arXiv},
  eprint       = {cs/0505063},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505063.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HuthJS04,
  author       = {Michael Huth and
                  Radha Jagadeesan and
                  David A. Schmidt},
  title        = {A domain equation for refinement of partial systems},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {14},
  number       = {4},
  pages        = {469--505},
  year         = {2004},
  url          = {https://doi.org/10.1017/S0960129504004268},
  doi          = {10.1017/S0960129504004268},
  timestamp    = {Mon, 11 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/HuthJS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DesharnaisGJP04,
  author       = {Jos{\'{e}}e Desharnais and
                  Vineet Gupta and
                  Radha Jagadeesan and
                  Prakash Panangaden},
  title        = {Metrics for labelled Markov processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {318},
  number       = {3},
  pages        = {323--354},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2003.09.013},
  doi          = {10.1016/J.TCS.2003.09.013},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/DesharnaisGJP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrunsJJR04,
  author       = {Glenn Bruns and
                  Radha Jagadeesan and
                  Alan Jeffrey and
                  James Riely},
  editor       = {Philippa Gardner and
                  Nobuko Yoshida},
  title        = {{\(\mathrm{\mu}\)}ABC: {A} Minimal Aspect Calculus},
  booktitle    = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
                  London, UK, August 31 - September 3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3170},
  pages        = {209--224},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-28644-8\_14},
  doi          = {10.1007/978-3-540-28644-8\_14},
  timestamp    = {Fri, 27 Mar 2020 08:51:56 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/BrunsJJR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlfaroGJ04,
  author       = {Luca de Alfaro and
                  Patrice Godefroid and
                  Radha Jagadeesan},
  title        = {Three-Valued Abstractions of Games: Uncertainty, but with Precision},
  booktitle    = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
                  14-17 July 2004, Turku, Finland, Proceedings},
  pages        = {170--179},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/LICS.2004.1319611},
  doi          = {10.1109/LICS.2004.1319611},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/AlfaroGJ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/GuptaJP04,
  author       = {Vineet Gupta and
                  Radha Jagadeesan and
                  Prakash Panangaden},
  title        = {Approximate Reasoning for Real-Time Probabilistic Processes},
  booktitle    = {1st International Conference on Quantitative Evaluation of Systems
                  {(QEST} 2004), 27-30 September 2004, Enschede, The Netherlands},
  pages        = {304--313},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/QEST.2004.1348044},
  doi          = {10.1109/QEST.2004.1348044},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/GuptaJP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DesharnaisGJP03,
  author       = {Jos{\'{e}}e Desharnais and
                  Vineet Gupta and
                  Radha Jagadeesan and
                  Prakash Panangaden},
  title        = {Approximating labelled Markov processes},
  journal      = {Inf. Comput.},
  volume       = {184},
  number       = {1},
  pages        = {160--200},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00051-8},
  doi          = {10.1016/S0890-5401(03)00051-8},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/DesharnaisGJP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GradelHJP03,
  author       = {Erich Gr{\"{a}}del and
                  Joseph Y. Halpern and
                  Radha Jagadeesan and
                  Adolfo Piperno},
  title        = {{LICS} 2001 special issue},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {3},
  pages        = {295},
  year         = {2003},
  url          = {https://doi.org/10.1145/772062.772063},
  doi          = {10.1145/772062.772063},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/GradelHJP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/JagadeesanJR03,
  author       = {Radha Jagadeesan and
                  Alan Jeffrey and
                  James Riely},
  editor       = {Luca Cardelli},
  title        = {A Calculus of Untyped Aspect-Oriented Programs},
  booktitle    = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                  Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2743},
  pages        = {54--73},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45070-2\_4},
  doi          = {10.1007/978-3-540-45070-2\_4},
  timestamp    = {Sun, 02 Jun 2019 21:16:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/JagadeesanJR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/SaraswatJG03,
  author       = {Vijay A. Saraswat and
                  Radha Jagadeesan and
                  Vineet Gupta},
  editor       = {Fernando Moura{-}Pires and
                  Salvador Abreu},
  title        = {jcc: Integrating Timed Default Concurrent Constraint Programming into
                  Java},
  booktitle    = {Progress in Artificial Intelligence, 11th Protuguese Conference on
                  Artificial Intelligence, {EPIA} 2003, Beja, Portugal, December 4-7,
                  2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2902},
  pages        = {156--170},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24580-3\_23},
  doi          = {10.1007/978-3-540-24580-3\_23},
  timestamp    = {Sun, 02 Jun 2019 21:25:42 +0200},
  biburl       = {https://dblp.org/rec/conf/epia/SaraswatJG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AbramskyJ03,
  author       = {Samson Abramsky and
                  Radha Jagadeesan},
  editor       = {Andrew D. Gordon},
  title        = {A Game Semantics for Generic Polymorphism},
  booktitle    = {Foundations of Software Science and Computational Structures, 6th
                  International Conference, {FOSSACS} 2003 Held as Part of the Joint
                  European Conference on Theory and Practice of Software, {ETAPS} 2003,
                  Warsaw, Poland, April 7-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2620},
  pages        = {1--22},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36576-1\_1},
  doi          = {10.1007/3-540-36576-1\_1},
  timestamp    = {Mon, 14 Feb 2022 09:20:26 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/AbramskyJ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GodefroidJ03,
  author       = {Patrice Godefroid and
                  Radha Jagadeesan},
  editor       = {Lenore D. Zuck and
                  Paul C. Attie and
                  Agostino Cortesi and
                  Supratik Mukhopadhyay},
  title        = {On the Expressiveness of 3-Valued Models},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 4th International
                  Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2575},
  pages        = {206--222},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36384-X\_18},
  doi          = {10.1007/3-540-36384-X\_18},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/GodefroidJ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GuptaJS02,
  author       = {Vineet Gupta and
                  Radha Jagadeesan and
                  Vijay A. Saraswat},
  title        = {Truly concurrent constraint programming},
  journal      = {Theor. Comput. Sci.},
  volume       = {278},
  number       = {1-2},
  pages        = {223--255},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00337-6},
  doi          = {10.1016/S0304-3975(00)00337-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GuptaJS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GodefroidJ02,
  author       = {Patrice Godefroid and
                  Radha Jagadeesan},
  editor       = {Ed Brinksma and
                  Kim Guldstrand Larsen},
  title        = {Automatic Abstraction Using Generalized Model Checking},
  booktitle    = {Computer Aided Verification, 14th International Conference, {CAV}
                  2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2404},
  pages        = {137--150},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45657-0\_11},
  doi          = {10.1007/3-540-45657-0\_11},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/GodefroidJ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DesharnaisGJP02,
  author       = {Jos{\'{e}}e Desharnais and
                  Vineet Gupta and
                  Radha Jagadeesan and
                  Prakash Panangaden},
  editor       = {Lubos Brim and
                  Petr Jancar and
                  Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {Weak Bisimulation is Sound and Complete for PCTL*},
  booktitle    = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference,
                  Brno, Czech Republic, August 20-23, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2421},
  pages        = {355--370},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45694-5\_24},
  doi          = {10.1007/3-540-45694-5\_24},
  timestamp    = {Tue, 04 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/DesharnaisGJP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DesharnaisJGP02,
  author       = {Jos{\'{e}}e Desharnais and
                  Radha Jagadeesan and
                  Vineet Gupta and
                  Prakash Panangaden},
  title        = {The Metric Analogue of Weak Bisimulation for Probabilistic Processes},
  booktitle    = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
                  22-25 July 2002, Copenhagen, Denmark, Proceedings},
  pages        = {413--422},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/LICS.2002.1029849},
  doi          = {10.1109/LICS.2002.1029849},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/DesharnaisJGP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GodefroidHJ01,
  author       = {Patrice Godefroid and
                  Michael Huth and
                  Radha Jagadeesan},
  editor       = {Kim Guldstrand Larsen and
                  Mogens Nielsen},
  title        = {Abstraction-Based Model Checking Using Modal Transition Systems},
  booktitle    = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
                  Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2154},
  pages        = {426--440},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44685-0\_29},
  doi          = {10.1007/3-540-44685-0\_29},
  timestamp    = {Mon, 11 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/GodefroidHJ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HuthJS01,
  author       = {Michael Huth and
                  Radha Jagadeesan and
                  David A. Schmidt},
  editor       = {David Sands},
  title        = {Modal Transition Systems: {A} Foundation for Three-Valued Program
                  Analysis},
  booktitle    = {Programming Languages and Systems, 10th European Symposium on Programming,
                  {ESOP} 2001 Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2028},
  pages        = {155--169},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45309-1\_11},
  doi          = {10.1007/3-540-45309-1\_11},
  timestamp    = {Mon, 11 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/HuthJS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AbramskyJM00,
  author       = {Samson Abramsky and
                  Radha Jagadeesan and
                  Pasquale Malacaria},
  title        = {Full Abstraction for {PCF}},
  journal      = {Inf. Comput.},
  volume       = {163},
  number       = {2},
  pages        = {409--470},
  year         = {2000},
  url          = {https://doi.org/10.1006/inco.2000.2930},
  doi          = {10.1006/INCO.2000.2930},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AbramskyJM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijst/BallCDJJLMR00,
  author       = {Thomas Ball and
                  Christopher Colby and
                  Peter J. Danielsen and
                  Lalita Jategaonkar Jagadeesan and
                  Radha Jagadeesan and
                  Konstantin L{\"{a}}ufer and
                  Peter Mataga and
                  Kenneth Rehor},
  title        = {Sisl: Several Interfaces, Single Logic},
  journal      = {Int. J. Speech Technol.},
  volume       = {3},
  number       = {2},
  pages        = {93--108},
  year         = {2000},
  url          = {https://doi.org/10.1023/A\%3A1009645414233},
  doi          = {10.1023/A\%3A1009645414233},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijst/BallCDJJLMR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/JagadeesanLG00,
  author       = {Radha Jagadeesan and
                  Konstantin L{\"{a}}ufer and
                  Vineet Gupta},
  title        = {The Triveni project},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {25},
  number       = {1},
  pages        = {59},
  year         = {2000},
  url          = {https://doi.org/10.1145/340855.340962},
  doi          = {10.1145/340855.340962},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/JagadeesanLG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GuptaJJJL00,
  author       = {Vineet Gupta and
                  Lalita Jategaonkar Jagadeesan and
                  Radha Jagadeesan and
                  Xiaowei Jiang and
                  Konstantin L{\"{a}}ufer},
  editor       = {Rina Dechter},
  title        = {A Constraint-Based Framework for Prototyping Distributed Virtual Applications},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2000, 6th
                  International Conference, Singapore, September 18-21, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1894},
  pages        = {202--217},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45349-0\_16},
  doi          = {10.1007/3-540-45349-0\_16},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GuptaJJJL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DesharnaisGJP00,
  author       = {Jos{\'{e}}e Desharnais and
                  Vineet Gupta and
                  Radha Jagadeesan and
                  Prakash Panangaden},
  title        = {Approximating Labeled Markov Processes},
  booktitle    = {15th Annual {IEEE} Symposium on Logic in Computer Science, Santa Barbara,
                  California, USA, June 26-29, 2000},
  pages        = {95--106},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/LICS.2000.855759},
  doi          = {10.1109/LICS.2000.855759},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/DesharnaisGJP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GodefroidJJL00,
  author       = {Patrice Godefroid and
                  Lalita Jategaonkar Jagadeesan and
                  Radha Jagadeesan and
                  Konstantin L{\"{a}}ufer},
  editor       = {John C. Knight and
                  David S. Rosenblum},
  title        = {Automated systematic testing for constraint-based interactive services},
  booktitle    = {{ACM} {SIGSOFT} Symposium on Foundations of Software Engineering,
                  an Diego, California, USA, November 6-10, 2000, Proceedings},
  pages        = {40--49},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/355045.355051},
  doi          = {10.1145/355045.355051},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/GodefroidJJL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DesharnaisGJP99,
  author       = {Jos{\'{e}}e Desharnais and
                  Vineet Gupta and
                  Radha Jagadeesan and
                  Prakash Panangaden},
  editor       = {Jos C. M. Baeten and
                  Sjouke Mauw},
  title        = {Metrics for Labeled Markov Systems},
  booktitle    = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
                  The Netherlands, August 24-27, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1664},
  pages        = {258--273},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48320-9\_19},
  doi          = {10.1007/3-540-48320-9\_19},
  timestamp    = {Tue, 04 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/DesharnaisGJP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GuptaJP99,
  author       = {Vineet Gupta and
                  Radha Jagadeesan and
                  Prakash Panangaden},
  editor       = {Andrew W. Appel and
                  Alex Aiken},
  title        = {Stochastic Processes as Concurrent Constraint Programs},
  booktitle    = {{POPL} '99, Proceedings of the 26th {ACM} {SIGPLAN-SIGACT} Symposium
                  on Principles of Programming Languages, San Antonio, TX, USA, January
                  20-22, 1999},
  pages        = {189--202},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/292540.292558},
  doi          = {10.1145/292540.292558},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/GuptaJP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GuptaJS98,
  author       = {Vineet Gupta and
                  Radha Jagadeesan and
                  Vijay A. Saraswat},
  title        = {Computing with Continuous Change},
  journal      = {Sci. Comput. Program.},
  volume       = {30},
  number       = {1-2},
  pages        = {3--49},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0167-6423(97)00006-3},
  doi          = {10.1016/S0167-6423(97)00006-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GuptaJS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coots/ColbyJJLP98,
  author       = {Christopher Colby and
                  Lalita Jategaonkar Jagadeesan and
                  Radha Jagadeesan and
                  Konstantin L{\"{a}}ufer and
                  Carlos Puchol},
  title        = {Objects and Concurrency in Triveni: {A} Telecommunication Case Study
                  in Java},
  booktitle    = {4th {USENIX} Conference on Object-Oriented Technologies and Systems
                  (COOTS), April 27-30, 1998, Eldorado Hotel, Santa Fe, New Mexico,
                  {USA}},
  pages        = {131--149},
  publisher    = {{USENIX}},
  year         = {1998},
  url          = {http://www.usenix.org/publications/library/proceedings/coots98/colby.html},
  timestamp    = {Tue, 02 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coots/ColbyJJLP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/ColbyJJLP98,
  author       = {Christopher Colby and
                  Lalita Jategaonkar Jagadeesan and
                  Radha Jagadeesan and
                  Konstantin L{\"{a}}ufer and
                  Carlos Puchol},
  title        = {Design and Implementation of Triveni: {A} Process-Algebraic {API}
                  for Threads + Events},
  booktitle    = {Proceedings of the 1998 International Conference on Computer Languages,
                  {ICCL} 1998, Chicago, IL, USA, May 14-16, 1998},
  pages        = {58--67},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/ICCL.1998.674157},
  doi          = {10.1109/ICCL.1998.674157},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccl/ColbyJJLP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GuptaJS97,
  author       = {Vineet Gupta and
                  Radha Jagadeesan and
                  Vijay A. Saraswat},
  editor       = {Antoni W. Mazurkiewicz and
                  J{\'{o}}zef Winkowski},
  title        = {Probabilistic Concurrent Constraint Programming},
  booktitle    = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw,
                  Poland, July 1-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1243},
  pages        = {243--257},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63141-0\_17},
  doi          = {10.1007/3-540-63141-0\_17},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/GuptaJS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GuptaHJ97,
  author       = {Vineet Gupta and
                  Thomas A. Henzinger and
                  Radha Jagadeesan},
  editor       = {Oded Maler},
  title        = {Robust Timed Automata},
  booktitle    = {Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble,
                  France, March 26-28, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1201},
  pages        = {331--345},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0014736},
  doi          = {10.1007/BFB0014736},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/GuptaHJ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ColbyJJLP98,
  author       = {Christopher Colby and
                  Lalita Jategaonkar and
                  Radha Jagadeesan and
                  Konstantin L{\"{a}}ufer and
                  Carlos Puchol},
  editor       = {Rance Cleaveland and
                  Michael W. Mislove and
                  Philip S. Mulry},
  title        = {The Semantics of Triveni: {A} Process-Algebraic {API} for Threads
                  + Events},
  booktitle    = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
                  Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
                  November 13-16, 1997},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {14},
  pages        = {107--133},
  publisher    = {Elsevier},
  year         = {1997},
  url          = {https://doi.org/10.1016/S1571-0661(05)80233-6},
  doi          = {10.1016/S1571-0661(05)80233-6},
  timestamp    = {Fri, 11 Nov 2022 13:55:25 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ColbyJJLP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/SaraswatJG96,
  author       = {Vijay A. Saraswat and
                  Radha Jagadeesan and
                  Vineet Gupta},
  title        = {Timed Default Concurrent Constraint Programming},
  journal      = {J. Symb. Comput.},
  volume       = {22},
  number       = {5/6},
  pages        = {475--520},
  year         = {1996},
  url          = {https://doi.org/10.1006/jsco.1996.0064},
  doi          = {10.1006/JSCO.1996.0064},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/SaraswatJG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GuptaJS96,
  author       = {Vineet Gupta and
                  Radha Jagadeesan and
                  Vijay A. Saraswat},
  editor       = {Ugo Montanari and
                  Vladimiro Sassone},
  title        = {Models for Concurrent Constraint Programming},
  booktitle    = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
                  Italy, August 26-29, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1119},
  pages        = {66--83},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61604-7\_48},
  doi          = {10.1007/3-540-61604-7\_48},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/GuptaJS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GuptaJS96a,
  author       = {Vineet Gupta and
                  Radha Jagadeesan and
                  Vijay A. Saraswat},
  editor       = {Ugo Montanari and
                  Vladimiro Sassone},
  title        = {Truly Concurrent Constraint Programming},
  booktitle    = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
                  Italy, August 26-29, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1119},
  pages        = {373--388},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61604-7\_65},
  doi          = {10.1007/3-540-61604-7\_65},
  timestamp    = {Fri, 15 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/GuptaJS96a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/JagadeesanJ95,
  author       = {Lalita Jategaonkar Jagadeesan and
                  Radha Jagadeesan},
  editor       = {Vangalur S. Alagar and
                  Maurice Nivat},
  title        = {Causality and True Concurrency: {A} Data-flow Analysis of the Pi-Calculus
                  (Extended Abstract)},
  booktitle    = {Algebraic Methodology and Software Technology, 4th International Conference,
                  {AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {936},
  pages        = {277--291},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60043-4\_59},
  doi          = {10.1007/3-540-60043-4\_59},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/JagadeesanJ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GuptaJS95,
  author       = {Vineet Gupta and
                  Radha Jagadeesan and
                  Vijay A. Saraswat},
  editor       = {Rajeev Alur and
                  Thomas A. Henzinger and
                  Eduardo D. Sontag},
  title        = {Hybrid cc, Hybrid Automata and Program Verification},
  booktitle    = {Hybrid Systems {III:} Verification and Control, Proceedings of the
                  {DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
                  October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1066},
  pages        = {52--63},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0020935},
  doi          = {10.1007/BFB0020935},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/GuptaJS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SaraswatJG95,
  author       = {Vijay A. Saraswat and
                  Radha Jagadeesan and
                  Vineet Gupta},
  editor       = {Ron K. Cytron and
                  Peter Lee},
  title        = {Default Timed Concurrent Constraint Programming},
  booktitle    = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
                  on Principles of Programming Languages, San Francisco, California,
                  USA, January 23-25, 1995},
  pages        = {272--285},
  publisher    = {{ACM} Press},
  year         = {1995},
  url          = {https://doi.org/10.1145/199448.199513},
  doi          = {10.1145/199448.199513},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/SaraswatJG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AbramskyJ94,
  author       = {Samson Abramsky and
                  Radha Jagadeesan},
  title        = {New Foundations for the Geometry of Interaction},
  journal      = {Inf. Comput.},
  volume       = {111},
  number       = {1},
  pages        = {53--119},
  year         = {1994},
  url          = {https://doi.org/10.1006/inco.1994.1041},
  doi          = {10.1006/INCO.1994.1041},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AbramskyJ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AbramskyJ94,
  author       = {Samson Abramsky and
                  Radha Jagadeesan},
  title        = {Games and Full Completeness for Multiplicative Linear Logic},
  journal      = {J. Symb. Log.},
  volume       = {59},
  number       = {2},
  pages        = {543--574},
  year         = {1994},
  url          = {https://doi.org/10.2307/2275407},
  doi          = {10.2307/2275407},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/AbramskyJ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GuptaJSB94,
  author       = {Vineet Gupta and
                  Radha Jagadeesan and
                  Vijay A. Saraswat and
                  Daniel G. Bobrow},
  editor       = {Panos J. Antsaklis and
                  Wolf Kohn and
                  Anil Nerode and
                  Shankar Sastry},
  title        = {Programming in Hybrid Constraint Languages},
  booktitle    = {Hybrid Systems II, Proceedings of the Third International Workshop
                  on Hybrid Systems, Ithaca, NY, USA, October 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {999},
  pages        = {226--251},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60472-3\_12},
  doi          = {10.1007/3-540-60472-3\_12},
  timestamp    = {Fri, 29 Apr 2022 09:17:30 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/GuptaJSB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/SaraswatJG94,
  author       = {Vijay A. Saraswat and
                  Radha Jagadeesan and
                  Vineet Gupta},
  title        = {Foundations of Timed Concurrent Constraint Programming},
  booktitle    = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
                  {(LICS} '94), Paris, France, July 4-7, 1994},
  pages        = {71--80},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/LICS.1994.316085},
  doi          = {10.1109/LICS.1994.316085},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/SaraswatJG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/AbramskyMJ94,
  author       = {Samson Abramsky and
                  Pasquale Malacaria and
                  Radha Jagadeesan},
  editor       = {Masami Hagiya and
                  John C. Mitchell},
  title        = {Full Abstraction for {PCF}},
  booktitle    = {Theoretical Aspects of Computer Software, International Conference
                  {TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {789},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-57887-0\_87},
  doi          = {10.1007/3-540-57887-0\_87},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/tacs/AbramskyMJ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/SaraswatJG93,
  author       = {Vijay A. Saraswat and
                  Radha Jagadeesan and
                  Vineet Gupta},
  editor       = {Brian H. Mayoh and
                  Enn Tyugu and
                  Jaan Penjam},
  title        = {Programming in Timed Concurrent Constraint Languages},
  booktitle    = {Constraint Programming, Proceedings of the {NATO} Advanced Study Institute
                  on Constraint Programming, Parnu, Estonia, August 13-24, 1993},
  series       = {{NATO} {ASI} Series},
  volume       = {131},
  pages        = {367--413},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/978-3-642-85983-0\_15},
  doi          = {10.1007/978-3-642-85983-0\_15},
  timestamp    = {Fri, 15 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/SaraswatJG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AbramskyJ92,
  author       = {Samson Abramsky and
                  Radha Jagadeesan},
  editor       = {R. K. Shyamasundar},
  title        = {Games and Full Completeness for Multiplicative Linear Logic (Extended
                  Abstract)},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  12th Conference, New Delhi, India, December 18-20, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {652},
  pages        = {291--301},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-56287-7\_113},
  doi          = {10.1007/3-540-56287-7\_113},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/AbramskyJ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AbramskyJ92,
  author       = {Samson Abramsky and
                  Radha Jagadeesan},
  title        = {New Foundations for the Geometry of Interaction},
  booktitle    = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science
                  {(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},
  pages        = {211--222},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/LICS.1992.185534},
  doi          = {10.1109/LICS.1992.185534},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/AbramskyJ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JagadeesanP92,
  author       = {Radha Jagadeesan and
                  Keshav Pingali},
  editor       = {Ravi Sethi},
  title        = {Abstract Semantics for a Higher-Order Functional Language with Logic
                  Variables},
  booktitle    = {Conference Record of the Nineteenth Annual {ACM} {SIGPLAN-SIGACT}
                  Symposium on Principles of Programming Languages, Albuquerque, New
                  Mexico, USA, January 19-22, 1992},
  pages        = {355--366},
  publisher    = {{ACM} Press},
  year         = {1992},
  url          = {https://doi.org/10.1145/143165.143236},
  doi          = {10.1145/143165.143236},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/JagadeesanP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Jagadeesan91,
  author       = {Radha Jagadeesan},
  title        = {Investigations Into Abstraction And Concurrency},
  school       = {Cornell University, {USA}},
  year         = {1991},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Jagadeesan91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/JagadeesanPP91,
  author       = {Radha Jagadeesan and
                  Keshav Pingali and
                  Prakash Panangaden},
  title        = {A Fully Abstract Semantics for a First-Order Functional Language with
                  Logic Variables},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {13},
  number       = {4},
  pages        = {577--625},
  year         = {1991},
  url          = {https://doi.org/10.1145/115372.115371},
  doi          = {10.1145/115372.115371},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/JagadeesanPP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JagadeesanP90,
  author       = {Radha Jagadeesan and
                  Prakash Panangaden},
  editor       = {Mike Paterson},
  title        = {A Domain-Theoretic Model for a Higher-Order Process Calculus},
  booktitle    = {Automata, Languages and Programming, 17th International Colloquium,
                  ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {443},
  pages        = {181--194},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0032031},
  doi          = {10.1007/BFB0032031},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/JagadeesanP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JagadeesanPP89,
  author       = {Radha Jagadeesan and
                  Prakash Panangaden and
                  Keshav Pingali},
  title        = {A Fully Abstract Semantics for a Functional Language with Logic Variables},
  booktitle    = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
                  {(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
  pages        = {294--303},
  publisher    = {{IEEE} Computer Society},
  year         = {1989},
  url          = {https://doi.org/10.1109/LICS.1989.39184},
  doi          = {10.1109/LICS.1989.39184},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/JagadeesanPP89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Jagadeesan89,
  author       = {Radha Jagadeesan},
  editor       = {Michael G. Main and
                  Austin Melton and
                  Michael W. Mislove and
                  David A. Schmidt},
  title        = {L-domains and Lossless Powerdomains},
  booktitle    = {Mathematical Foundations of Programming Semantics, 5th International
                  Conference, Tulane University, New Orleans, Louisiana, USA, March
                  29 - April 1, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {442},
  pages        = {364--372},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0040268},
  doi          = {10.1007/BFB0040268},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/mfps/Jagadeesan89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics