default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alan Jeffrey
@article{DBLP:journals/programming/GreenmanJKS24,
author = {Ben Greenman and
Alan Jeffrey and
Shriram Krishnamurthi and
Mitesh Shah},
title = {Privacy-Respecting Type Error Telemetry at Scale},
journal = {Art Sci. Eng. Program.},
volume = {8},
number = {3},
year = {2024},
url = {https://doi.org/10.22152/programming-journal.org/2024/8/12},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/12},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/programming/GreenmanJKS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-02409,
author = {Ben Greenman and
Alan Jeffrey and
Shriram Krishnamurthi and
Mitesh Shah},
title = {Privacy-Respecting Type Error Telemetry at Scale},
journal = {CoRR},
volume = {abs/2403.02409},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.02409},
doi = {10.48550/ARXIV.2403.02409},
eprinttype = {arXiv},
eprint = {2403.02409},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-02409.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/JeffreyRBCKP22,
author = {Alan Jeffrey and
James Riely and
Mark Batty and
Simon Cooksey and
Ilya Kaysin and
Anton Podkopaev},
title = {The leaky semicolon: compositional semantic dependencies for relaxed-memory
concurrency},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--30},
year = {2022},
url = {https://doi.org/10.1145/3498716},
doi = {10.1145/3498716},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/JeffreyRBCKP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-11397,
author = {Lily Brown and
Andy Friesen and
Alan Jeffrey},
title = {Position Paper: Goals of the Luau Type System},
journal = {CoRR},
volume = {abs/2109.11397},
year = {2021},
url = {https://arxiv.org/abs/2109.11397},
eprinttype = {arXiv},
eprint = {2109.11397},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-11397.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@article{DBLP:journals/lmcs/JeffreyR19,
author = {Alan Jeffrey and
James Riely},
title = {On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {1},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(1:33)2019},
doi = {10.23638/LMCS-15(1:33)2019},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/JeffreyR19.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/corr/abs-1909-03111,
author = {Omar S. Navarro Leija and
Alan Jeffrey},
title = {Lightweight Record-and-Replay for Intermittent Tests Failures},
journal = {CoRR},
volume = {abs/1909.03111},
year = {2019},
url = {http://arxiv.org/abs/1909.03111},
eprinttype = {arXiv},
eprint = {1909.03111},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-03111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-00067,
author = {Alan Jeffrey},
title = {Josephine: Using JavaScript to safely manage the lifetimes of Rust
data},
journal = {CoRR},
volume = {abs/1807.00067},
year = {2018},
url = {http://arxiv.org/abs/1807.00067},
eprinttype = {arXiv},
eprint = {1807.00067},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-00067.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JeffreyR17,
author = {Alan Jeffrey and
James Riely},
title = {On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory},
journal = {CoRR},
volume = {abs/1707.05881},
year = {2017},
url = {http://arxiv.org/abs/1707.05881},
eprinttype = {arXiv},
eprint = {1707.05881},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JeffreyR17.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}
}
@inproceedings{DBLP:conf/lics/JeffreyR16,
author = {Alan Jeffrey and
James Riely},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {On Thin Air Reads Towards an Event Structures Model of Relaxed Memory},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {759--767},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934536},
doi = {10.1145/2933575.2934536},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/JeffreyR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrewsterJ16,
author = {Connor G. Brewster and
Alan Jeffrey},
title = {A Model of Navigation History},
journal = {CoRR},
volume = {abs/1608.05444},
year = {2016},
url = {http://arxiv.org/abs/1608.05444},
eprinttype = {arXiv},
eprint = {1608.05444},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrewsterJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Jeffrey14,
author = {Alan Jeffrey},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Functional reactive types},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {54:1--54:9},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603106},
doi = {10.1145/2603088.2603106},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Jeffrey14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Jeffrey13,
author = {Alan Jeffrey},
editor = {Greg Morrisett and
Tarmo Uustalu},
title = {Functional reactive programming with liveness guarantees},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
pages = {233--244},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500365.2500584},
doi = {10.1145/2500365.2500584},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Jeffrey13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/DanielsenJ13,
author = {Peter J. Danielsen and
Alan Jeffrey},
title = {Validation and Interactivity of Web {API} Documentation},
booktitle = {2013 {IEEE} 20th International Conference on Web Services, Santa Clara,
CA, USA, June 28 - July 3, 2013},
pages = {523--530},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICWS.2013.76},
doi = {10.1109/ICWS.2013.76},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/DanielsenJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Jeffrey13,
author = {Alan Jeffrey},
editor = {Konstantinos Sagonas},
title = {Dependently Typed Web Client Applications - {FRP} in Agda in {HTML5}},
booktitle = {Practical Aspects of Declarative Languages - 15th International Symposium,
{PADL} 2013, Rome, Italy, January 21-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7752},
pages = {228--243},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45284-0\_16},
doi = {10.1007/978-3-642-45284-0\_16},
timestamp = {Sun, 02 Jun 2019 21:22:27 +0200},
biburl = {https://dblp.org/rec/conf/padl/Jeffrey13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/Jeffrey13,
author = {Alan Jeffrey},
editor = {Matthew Might and
David Van Horn and
Andreas Abel and
Tim Sheard},
title = {Causality for free!: parametricity implies causality for functional
reactive programs},
booktitle = {Proceedings of the 7th Workshop on Programming languages meets program
verification, {PLPV} 2013, Rome, Italy, January 22, 2013},
pages = {57--68},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2428116.2428127},
doi = {10.1145/2428116.2428127},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plpv/Jeffrey13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/Jeffrey12,
author = {Alan Jeffrey},
editor = {Koen Claessen and
Nikhil Swamy},
title = {{LTL} types {FRP:} linear-time temporal logic propositions as types,
proofs as functional reactive programs},
booktitle = {Proceedings of the sixth workshop on Programming Languages meets Program
Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
pages = {49--60},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103776.2103783},
doi = {10.1145/2103776.2103783},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plpv/Jeffrey12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/JeffreyR11,
author = {Alan Jeffrey and
Julian Rathke},
editor = {Marc Bezem},
title = {The Lax Braided Structure of Streaming {I/O}},
booktitle = {Computer Science Logic, 25th International Workshop / 20th Annual
Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
Norway, Proceedings},
series = {LIPIcs},
volume = {12},
pages = {292--306},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.CSL.2011.292},
doi = {10.4230/LIPICS.CSL.2011.292},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/JeffreyR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/JeffreyP11,
author = {Alan Jeffrey and
Peter F. Patel{-}Schneider},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {Integrity Constraints for Linked Data},
booktitle = {Proceedings of the 24th International Workshop on Description Logics
{(DL} 2011), Barcelona, Spain, July 13-16, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {745},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-745/paper\_31.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/JeffreyP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GordonHHJS11,
author = {Andrew D. Gordon and
Robert Harper and
John Harrison and
Alan Jeffrey and
Peter Sewell},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Robin Milner 1934--2010: verification, languages, and concurrency},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {473--474},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926439},
doi = {10.1145/1926385.1926439},
timestamp = {Tue, 09 Jul 2024 07:54:49 +0200},
biburl = {https://dblp.org/rec/conf/popl/GordonHHJS11.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:conf/policy/JeffreyS09,
author = {Alan Jeffrey and
Taghrid Samak},
title = {Model Checking Firewall Policy Configurations},
booktitle = {{POLICY} 2009, {IEEE} International Symposium on Policies for Distributed
Systems and Networks, London, UK, 20-22 July 2009},
pages = {60--67},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/POLICY.2009.32},
doi = {10.1109/POLICY.2009.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/JeffreyS09.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}
}
@article{DBLP:journals/tcs/JeffreyR08,
author = {Alan Jeffrey and
Julian Rathke},
title = {Full abstraction for polymorphic pi-calculus},
journal = {Theor. Comput. Sci.},
volume = {390},
number = {2-3},
pages = {171--196},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2007.09.020},
doi = {10.1016/J.TCS.2007.09.020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JeffreyR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/BenediktJL08,
author = {Michael Benedikt and
Alan Jeffrey and
Ruy Ley{-}Wild},
editor = {Jason Tsong{-}Li Wang},
title = {Stream firewalling of xml constraints},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, {SIGMOD} 2008, Vancouver, BC, Canada, June 10-12, 2008},
pages = {487--498},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1376616.1376667},
doi = {10.1145/1376616.1376667},
timestamp = {Tue, 16 Aug 2022 23:04:20 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/BenediktJL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BenediktJ07,
author = {Michael Benedikt and
Alan Jeffrey},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Efficient and Expressive Tree Filters},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {461--472},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_38},
doi = {10.1007/978-3-540-77050-3\_38},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BenediktJ07.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/iandc/HaackJ06,
author = {Christian Haack and
Alan Jeffrey},
title = {Pattern-matching spi-calculus},
journal = {Inf. Comput.},
volume = {204},
number = {8},
pages = {1195--1263},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.04.004},
doi = {10.1016/J.IC.2006.04.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HaackJ06.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/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/lmcs/JeffreyR05,
author = {Alan Jeffrey and
Julian Rathke},
title = {Contextual equivalence for higher-order pi-calculus revisited},
journal = {Log. Methods Comput. Sci.},
volume = {1},
number = {1},
year = {2005},
url = {https://doi.org/10.2168/LMCS-1(1:4)2005},
doi = {10.2168/LMCS-1(1:4)2005},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/JeffreyR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JeffreyR05,
author = {Alan Jeffrey and
Julian Rathke},
title = {A fully abstract may testing semantics for concurrent objects},
journal = {Theor. Comput. Sci.},
volume = {338},
number = {1-3},
pages = {17--63},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.10.012},
doi = {10.1016/J.TCS.2004.10.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JeffreyR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GordonJ05,
author = {Andrew D. Gordon and
Alan Jeffrey},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus},
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 = {186--201},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_17},
doi = {10.1007/11539452\_17},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/GordonJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HaackJ05,
author = {Christian Haack and
Alan Jeffrey},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {Timed Spi-Calculus with Types for Secrecy and Authenticity},
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 = {202--216},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_18},
doi = {10.1007/11539452\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HaackJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JeffreyR05,
author = {Alan Jeffrey and
Julian Rathke},
editor = {Shmuel Sagiv},
title = {Java Jr: Fully Abstract Trace Semantics for a Core Java Language},
booktitle = {Programming Languages and Systems, 14th European Symposium on Programming,
{ESOP} 2005, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3444},
pages = {423--438},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31987-0\_29},
doi = {10.1007/978-3-540-31987-0\_29},
timestamp = {Fri, 27 Jan 2023 15:04:25 +0100},
biburl = {https://dblp.org/rec/conf/esop/JeffreyR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/JeffreyR05,
author = {Alan Jeffrey and
Julian Rathke},
editor = {Vladimiro Sassone},
title = {Full Abstraction for Polymorphic Pi-Calculus},
booktitle = {Foundations of Software Science and Computational Structures, 8th
International Conference, {FOSSACS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3441},
pages = {266--281},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31982-5\_17},
doi = {10.1007/978-3-540-31982-5\_17},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/JeffreyR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0503067,
author = {Alan Jeffrey and
Julian Rathke},
title = {Contextual equivalence for higher-order pi-calculus revisited},
journal = {CoRR},
volume = {abs/cs/0503067},
year = {2005},
url = {http://arxiv.org/abs/cs/0503067},
eprinttype = {arXiv},
eprint = {cs/0503067},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0503067.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/GordonJ04,
author = {Andrew D. Gordon and
Alan Jeffrey},
title = {Types and effects for asymmetric cryptographic protocols},
journal = {J. Comput. Secur.},
volume = {12},
number = {3-4},
pages = {435--483},
year = {2004},
url = {https://doi.org/10.3233/jcs-2004-123-406},
doi = {10.3233/JCS-2004-123-406},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/GordonJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JeffreyR04,
author = {Alan Jeffrey and
Julian Rathke},
title = {A theory of bisimulation for a fragment of concurrent {ML} with local
names},
journal = {Theor. Comput. Sci.},
volume = {323},
number = {1-3},
pages = {1--48},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.03.005},
doi = {10.1016/J.TCS.2004.03.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JeffreyR04.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/ifip1-7/HaackJ04,
author = {Christian Haack and
Alan Jeffrey},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {Pattern-Matching Spi-Calculus},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {55--70},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_5},
doi = {10.1007/0-387-24098-5\_5},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/HaackJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/GordonJ03,
author = {Andrew D. Gordon and
Alan Jeffrey},
title = {Authenticity by Typing for Security Protocols},
journal = {J. Comput. Secur.},
volume = {11},
number = {4},
pages = {451--520},
year = {2003},
url = {https://doi.org/10.3233/jcs-2003-11402},
doi = {10.3233/JCS-2003-11402},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/GordonJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GordonJ03,
author = {Andrew D. Gordon and
Alan Jeffrey},
title = {Typing correspondence assertions for communication protocols},
journal = {Theor. Comput. Sci.},
volume = {300},
number = {1-3},
pages = {379--409},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00333-X},
doi = {10.1016/S0304-3975(02)00333-X},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GordonJ03.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/mfps/JeffreyR03,
author = {Alan Jeffrey and
Julian Rathke},
editor = {Stephen D. Brookes and
Prakash Panangaden},
title = {Contextual Equivalence for Higher-Order {\(\pi\)}-Calculus Revisited},
booktitle = {Proceedings of 19th Conference on the Mathematical Foundations of
Programming Semantics, {MFPS} 2003, Universit{\'{e}} de Montr{\'{e}}al,
QC, Canada, March 19-22, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {83},
pages = {149--168},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(03)50008-1},
doi = {10.1016/S1571-0661(03)50008-1},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/JeffreyR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/GordonJ02,
author = {Andrew D. Gordon and
Alan Jeffrey},
title = {Types and Effects for Asymmetric Cryptographic Protocols},
booktitle = {15th {IEEE} Computer Security Foundations Workshop {(CSFW-15} 2002),
24-26 June 2002, Cape Breton, Nova Scotia, Canada},
pages = {77--91},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CSFW.2002.1021808},
doi = {10.1109/CSFW.2002.1021808},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/GordonJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isss2/GordonJ02,
author = {Andrew D. Gordon and
Alan Jeffrey},
editor = {Mitsuhiro Okada and
Benjamin C. Pierce and
Andre Scedrov and
Hideyuki Tokuda and
Akinori Yonezawa},
title = {Typing One-to-One and One-to-Many Correspondences in Security Protocols},
booktitle = {Software Security -- Theories and Systems, Mext-NSF-JSPS International
Symposium, {ISSS} 2002, Tokyo, Japan, November 8-10, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2609},
pages = {263--282},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36532-X\_17},
doi = {10.1007/3-540-36532-X\_17},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isss2/GordonJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JeffreyR02,
author = {Alan Jeffrey and
Julian Rathke},
title = {A Fully Abstract May Testing Semantics for Concurrent Objects},
booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
22-25 July 2002, Copenhagen, Denmark, Proceedings},
pages = {101--112},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/LICS.2002.1029820},
doi = {10.1109/LICS.2002.1029820},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/JeffreyR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/WakemanJOP01,
author = {Ian Wakeman and
Alan Jeffrey and
Tim Owen and
Damyan Pepper},
title = {SafetyNet: {A} language-based approach to programmable networks},
journal = {Comput. Networks},
volume = {36},
number = {1},
pages = {101--114},
year = {2001},
url = {https://doi.org/10.1016/S1389-1286(01)00154-2},
doi = {10.1016/S1389-1286(01)00154-2},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/WakemanJOP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/GordonJ01,
author = {Andrew D. Gordon and
Alan Jeffrey},
title = {Authenticity by Typing for Security Protocols},
booktitle = {14th {IEEE} Computer Security Foundations Workshop {(CSFW-14} 2001),
11-13 June 2001, Cape Breton, Nova Scotia, Canada},
pages = {145--159},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CSFW.2001.930143},
doi = {10.1109/CSFW.2001.930143},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/GordonJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Jeffrey01,
author = {Alan Jeffrey},
title = {A Symbolic Labelled Transition System for Coinductive Subtyping of
\emph{F\({}_{\mbox{{\(\mathrm{\mu}\)}{\textless}}}\)} Types},
booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
Massachusetts, USA, June 16-19, 2001, Proceedings},
pages = {323--333},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/LICS.2001.932508},
doi = {10.1109/LICS.2001.932508},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Jeffrey01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GordonJ01,
author = {Andrew D. Gordon and
Alan Jeffrey},
editor = {Patrick Cousot},
title = {A Type and Effect Analysis of Security Protocols},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {432--432},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_26},
doi = {10.1007/3-540-47764-0\_26},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/GordonJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GordonJ01,
author = {Andrew D. Gordon and
Alan Jeffrey},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Typing Correspondence Assertions for Communication Protocols},
booktitle = {Seventeenth Conference on the Mathematical Foundations of Programming
Semantics, {MFPS} 2001, Aarhus, Denmark, May 23-26, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {45},
pages = {119--140},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80959-9},
doi = {10.1016/S1571-0661(04)80959-9},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GordonJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FerreiraHJ00,
author = {William Ferreira and
Matthew Hennessy and
Alan Jeffrey},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {Combining the typed lambda-calculus with {CCS}},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {511--534},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Tue, 16 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FerreiraHJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JeffreyR00,
author = {Alan Jeffrey and
Julian Rathke},
title = {A Theory of Bisimulation for a Fragment of Concurrent {ML} with Local
Names},
booktitle = {15th Annual {IEEE} Symposium on Logic in Computer Science, Santa Barbara,
California, USA, June 26-29, 2000},
pages = {311--321},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/LICS.2000.855780},
doi = {10.1109/LICS.2000.855780},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/JeffreyR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Jeffrey00,
author = {Alan Jeffrey},
editor = {Alan Jeffrey},
title = {Preface},
booktitle = {4th International Workshop on Higher Order Operational Techniques
in Semantics, {HOOTS} 2000, Satellite to {PLI} 2000, Montreal, Canada,
September 22, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {41},
number = {3},
pages = {89},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80875-8},
doi = {10.1016/S1571-0661(05)80875-8},
timestamp = {Thu, 01 Dec 2022 10:14:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Jeffrey00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hoots/2000,
editor = {Alan Jeffrey},
title = {4th International Workshop on Higher Order Operational Techniques
in Semantics, {HOOTS} 2000, Satellite to {PLI} 2000, Montreal, Canada,
September 22, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {41},
number = {3},
publisher = {Elsevier},
year = {2000},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/41/issue/3},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hoots/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Jeffrey99,
author = {Alan Jeffrey},
title = {A Fully Abstract Semantics for a Higher-Order Functional Language
with Nondeterministic Computation},
journal = {Theor. Comput. Sci.},
volume = {228},
number = {1-2},
pages = {105--150},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00356-9},
doi = {10.1016/S0304-3975(98)00356-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Jeffrey99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JeffreyR99,
author = {Alan Jeffrey and
Julian Rathke},
title = {Towards a Theory of Bisimulation for Local Names},
booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
Italy, July 2-5, 1999},
pages = {56--66},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/LICS.1999.782586},
doi = {10.1109/LICS.1999.782586},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/JeffreyR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SchweimeierJ99,
author = {Ralf Schweimeier and
Alan Jeffrey},
editor = {Stephen D. Brookes and
Achim Jung and
Michael W. Mislove and
Andre Scedrov},
title = {A Categorical and Graphical Treatment of Closure Conversion},
booktitle = {Fifteenth Conference on Mathematical Foundations of Progamming Semantics,
{MFPS} 1999, Tulane University, New Orleans, LA, USA, April 28 - May
1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {20},
pages = {481--511},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(04)80090-2},
doi = {10.1016/S1571-0661(04)80090-2},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SchweimeierJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FerreiraHJ98,
author = {William Ferreira and
Matthew Hennessy and
Alan Jeffrey},
title = {A Theory of Weak Bisimulation for Core {CML}},
journal = {J. Funct. Program.},
volume = {8},
number = {5},
pages = {447--491},
year = {1998},
url = {https://doi.org/10.1017/s0956796898003165},
doi = {10.1017/S0956796898003165},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/FerreiraHJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Jeffrey97,
author = {Alan Jeffrey},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Premonoidal categories and flow graphs},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {51},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80688-7},
doi = {10.1016/S1571-0661(05)80688-7},
timestamp = {Fri, 11 Nov 2022 13:29:29 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Jeffrey97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FerreiraHJ96,
author = {William Ferreira and
Matthew Hennessy and
Alan Jeffrey},
editor = {Robert Harper and
Richard L. Wexelblat},
title = {A Theory of Weak Bisimulation for Core {CML}},
booktitle = {Proceedings of the 1996 {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 1996, Philadelphia, Pennsylvania, USA,
May 24-26, 1996},
pages = {201--212},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/232627.232649},
doi = {10.1145/232627.232649},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FerreiraHJ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0080893,
author = {Alan Jeffrey},
title = {Handbook of mathematical formulas and integrals},
publisher = {Academic Press},
year = {1995},
isbn = {978-0-12-382580-3},
timestamp = {Wed, 27 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0080893.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoJ95,
author = {Luca Aceto and
Alan Jeffrey},
title = {A Complete Axiomatization of Timed Bisimulation for a Class of Timed
Regular Behaviours},
journal = {Theor. Comput. Sci.},
volume = {152},
number = {2},
pages = {251--268},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00285-9},
doi = {10.1016/0304-3975(94)00285-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AcetoJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Jeffrey95,
author = {Alan Jeffrey},
title = {A Fully Abstract Semantics for a Concurrent Functional Language with
Monadic Types},
booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
San Diego, California, USA, June 26-29, 1995},
pages = {255--264},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/LICS.1995.523261},
doi = {10.1109/LICS.1995.523261},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Jeffrey95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Jeffrey95,
author = {Alan Jeffrey},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove},
title = {A fully abstract semantics for a nondeterministic functional language
with monadic types},
booktitle = {Eleventh Annual Conference on Mathematical Foundations of Programming
Semantics, {MFPS} 1995, Tulane University, New Orleans, LA, USA, March
29 - April 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {1},
pages = {290--301},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(04)80016-1},
doi = {10.1016/S1571-0661(04)80016-1},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Jeffrey95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BrownJ94,
author = {Carolyn Brown and
Alan Jeffrey},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Allegories of Circuits},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {56--68},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_7},
doi = {10.1007/3-540-58140-5\_7},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BrownJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Jeffrey94,
author = {Alan Jeffrey},
title = {A Fully Abstract Semantics for Concurrent Graph Reduction},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {82--91},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316084},
doi = {10.1109/LICS.1994.316084},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Jeffrey94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Jeffrey93,
author = {Alan Jeffrey},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {A Chemical Abstract Machine for Graph Reduction},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {293--303},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_14},
doi = {10.1007/3-540-58027-1\_14},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Jeffrey93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Jeffrey92,
author = {Alan Jeffrey},
editor = {Jan Vytopil},
title = {Translating Timed Process Algebra into Prioritized Process Algebra},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {493--506},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_27},
doi = {10.1007/3-540-55092-5\_27},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Jeffrey92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Jeffrey91,
author = {Alan Jeffrey},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {A Linear Time Process Algebra},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {432--442},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_40},
doi = {10.1007/3-540-55179-4\_40},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Jeffrey91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Jeffrey91,
author = {Alan Jeffrey},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Abstract Timed Observation and Process Algebra},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {332--345},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_98},
doi = {10.1007/3-540-54430-5\_98},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/Jeffrey91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-05-10 00:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
