BibTeX records: James J. Leifer

download as .bib file

@inproceedings{DBLP:conf/csfw/BhargavanCDFL09,
  author       = {Karthikeyan Bhargavan and
                  Ricardo Corin and
                  Pierre{-}Malo Deni{\'{e}}lou and
                  C{\'{e}}dric Fournet and
                  James J. Leifer},
  title        = {Cryptographic Protocol Synthesis and Verification for Multiparty Sessions},
  booktitle    = {Proceedings of the 22nd {IEEE} Computer Security Foundations Symposium,
                  {CSF} 2009, Port Jefferson, New York, USA, July 8-10, 2009},
  pages        = {124--140},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/CSF.2009.26},
  doi          = {10.1109/CSF.2009.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csfw/BhargavanCDFL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcs/CorinDFBL08,
  author       = {Ricardo Corin and
                  Pierre{-}Malo Deni{\'{e}}lou and
                  C{\'{e}}dric Fournet and
                  Karthikeyan Bhargavan and
                  James J. Leifer},
  title        = {A secure compiler for session abstractions},
  journal      = {J. Comput. Secur.},
  volume       = {16},
  number       = {5},
  pages        = {573--636},
  year         = {2008},
  url          = {https://doi.org/10.3233/JCS-2008-0334},
  doi          = {10.3233/JCS-2008-0334},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcs/CorinDFBL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/SewellLWNAHV07,
  author       = {Peter Sewell and
                  James J. Leifer and
                  Keith Wansbrough and
                  Francesco Zappa Nardelli and
                  Mair Allen{-}Williams and
                  Pierre Habouzit and
                  Viktor Vafeiadis},
  title        = {Acute: High-level programming language design for distributed computation},
  journal      = {J. Funct. Program.},
  volume       = {17},
  number       = {4-5},
  pages        = {547--612},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0956796807006442},
  doi          = {10.1017/S0956796807006442},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/SewellLWNAHV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csfw/CorinDFBL07,
  author       = {Ricardo Corin and
                  Pierre{-}Malo Deni{\'{e}}lou and
                  C{\'{e}}dric Fournet and
                  Karthikeyan Bhargavan and
                  James J. Leifer},
  title        = {Secure Implementations for Typed Session Abstractions},
  booktitle    = {20th {IEEE} Computer Security Foundations Symposium, {CSF} 2007, 6-8
                  July 2007, Venice, Italy},
  pages        = {170--186},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/CSF.2007.29},
  doi          = {10.1109/CSF.2007.29},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csfw/CorinDFBL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/LeiferM06,
  author       = {James J. Leifer and
                  Robin Milner},
  title        = {Transition systems, link graphs and Petri nets},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {16},
  number       = {6},
  pages        = {989--1047},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0960129506005664},
  doi          = {10.1017/S0960129506005664},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/LeiferM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/DenielouL06,
  author       = {Pierre{-}Malo Deni{\'{e}}lou and
                  James J. Leifer},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Abstraction preservation and subtyping in distributed languages},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {286--297},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159841},
  doi          = {10.1145/1159803.1159841},
  timestamp    = {Mon, 17 Jan 2022 15:20:18 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/DenielouL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/SewellLWNAHV05,
  author       = {Peter Sewell and
                  James J. Leifer and
                  Keith Wansbrough and
                  Francesco Zappa Nardelli and
                  Mair Allen{-}Williams and
                  Pierre Habouzit and
                  Viktor Vafeiadis},
  editor       = {Olivier Danvy and
                  Benjamin C. Pierce},
  title        = {Acute: high-level programming language design for distributed computation},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
                  2005},
  pages        = {15--26},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1086365.1086370},
  doi          = {10.1145/1086365.1086370},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/SewellLWNAHV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/LeiferPSW03,
  author       = {James J. Leifer and
                  Gilles Peskine and
                  Peter Sewell and
                  Keith Wansbrough},
  editor       = {Colin Runciman and
                  Olin Shivers},
  title        = {Global abstraction-safe marshalling with hash types},
  booktitle    = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
                  on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
                  2003},
  pages        = {87--98},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/944705.944714},
  doi          = {10.1145/944705.944714},
  timestamp    = {Sat, 26 Jun 2021 13:59:53 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/LeiferPSW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/LeiferM02,
  author       = {James J. Leifer and
                  Robin Milner},
  title        = {Shallow Linear Action Graphs and their Embeddings},
  journal      = {Formal Aspects Comput.},
  volume       = {13},
  number       = {3-5},
  pages        = {327--340},
  year         = {2002},
  url          = {https://doi.org/10.1007/s001650200015},
  doi          = {10.1007/S001650200015},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/LeiferM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/LeiferM00,
  author       = {James J. Leifer and
                  Robin Milner},
  editor       = {Catuscia Palamidessi},
  title        = {Deriving Bisimulation Congruences for Reactive Systems},
  booktitle    = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
                  University Park, PA, USA, August 22-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1877},
  pages        = {243--258},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44618-4\_19},
  doi          = {10.1007/3-540-44618-4\_19},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/LeiferM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/LeiferS96,
  author       = {James J. Leifer and
                  Bernard Sufrin},
  title        = {Deduction for Functional Programmers},
  journal      = {J. Funct. Program.},
  volume       = {6},
  number       = {2},
  pages        = {365--373},
  year         = {1996},
  url          = {https://doi.org/10.1017/S0956796800001726},
  doi          = {10.1017/S0956796800001726},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/LeiferS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.