BibTeX records: Alan Jeffrey

download as .bib file

@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},
  archivePrefix = {arXiv},
  eprint    = {1807.00067},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1807-00067},
  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},
  archivePrefix = {arXiv},
  eprint    = {1707.05881},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/JeffreyR17},
  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   = {Mathematical Structures in Computer Science},
  volume    = {26},
  number    = {3},
  pages     = {465--509},
  year      = {2016},
  url       = {https://doi.org/10.1017/S0960129514000231},
  doi       = {10.1017/S0960129514000231},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/GotoJJPR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JeffreyR16,
  author    = {Alan Jeffrey and
               James Riely},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/lics/2016},
  url       = {https://doi.org/10.1145/2933575.2934536},
  doi       = {10.1145/2933575.2934536},
  timestamp = {Fri, 21 Dec 2018 14:34:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/JeffreyR16},
  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},
  archivePrefix = {arXiv},
  eprint    = {1608.05444},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BrewsterJ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Jeffrey14,
  author    = {Alan Jeffrey},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/csl/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/bib/conf/csl/Jeffrey14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Jeffrey13,
  author    = {Alan Jeffrey},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/icfp/2013},
  url       = {https://doi.org/10.1145/2500365.2500584},
  doi       = {10.1145/2500365.2500584},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/Jeffrey13},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/icws/2013},
  url       = {https://doi.org/10.1109/ICWS.2013.76},
  doi       = {10.1109/ICWS.2013.76},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icws/DanielsenJ13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Jeffrey13,
  author    = {Alan Jeffrey},
  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},
  pages     = {228--243},
  year      = {2013},
  crossref  = {DBLP:conf/padl/2013},
  url       = {https://doi.org/10.1007/978-3-642-45284-0\_16},
  doi       = {10.1007/978-3-642-45284-0\_16},
  timestamp = {Tue, 18 Jul 2017 14:13:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/Jeffrey13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/Jeffrey13,
  author    = {Alan Jeffrey},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/plpv/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/bib/conf/plpv/Jeffrey13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/Jeffrey12,
  author    = {Alan Jeffrey},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/plpv/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/bib/conf/plpv/Jeffrey12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/JeffreyR11,
  author    = {Alan Jeffrey and
               Julian Rathke},
  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},
  pages     = {292--306},
  year      = {2011},
  crossref  = {DBLP:conf/csl/2011},
  url       = {https://doi.org/10.4230/LIPIcs.CSL.2011.292},
  doi       = {10.4230/LIPIcs.CSL.2011.292},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/JeffreyR11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/JeffreyP11,
  author    = {Alan Jeffrey and
               Peter F. Patel{-}Schneider},
  title     = {Integrity Constraints for Linked Data},
  booktitle = {Proceedings of the 24th International Workshop on Description Logics
               {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  year      = {2011},
  crossref  = {DBLP:conf/dlog/2011},
  url       = {http://ceur-ws.org/Vol-745/paper\_31.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/JeffreyP11},
  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},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/popl/2011},
  url       = {https://doi.org/10.1145/1926385.1926439},
  doi       = {10.1145/1926385.1926439},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/GordonHHJS11},
  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},
  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},
  pages     = {152--167},
  year      = {2009},
  crossref  = {DBLP:conf/esorics/2009},
  url       = {https://doi.org/10.1007/978-3-642-04444-1\_10},
  doi       = {10.1007/978-3-642-04444-1\_10},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esorics/JagadeesanJPR09},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/policy/2009},
  url       = {https://doi.org/10.1109/POLICY.2009.32},
  doi       = {10.1109/POLICY.2009.32},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/policy/JeffreyS09},
  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   = {Logical Methods in Computer Science},
  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 = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lmcs/JagadeesanJPR08},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/JeffreyR08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/BenediktJL08,
  author    = {Michael Benedikt and
               Alan Jeffrey and
               Ruy Ley{-}Wild},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/sigmod/2008},
  url       = {https://doi.org/10.1145/1376616.1376667},
  doi       = {10.1145/1376616.1376667},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/BenediktJL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BenediktJ07,
  author    = {Michael Benedikt and
               Alan Jeffrey},
  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},
  pages     = {461--472},
  year      = {2007},
  crossref  = {DBLP:conf/fsttcs/2007},
  url       = {https://doi.org/10.1007/978-3-540-77050-3\_38},
  doi       = {10.1007/978-3-540-77050-3\_38},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/BenediktJ07},
  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},
  archivePrefix = {arXiv},
  eprint    = {0712.1205},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0712-1205},
  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 = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/HaackJ06},
  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 = {Fri, 15 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/JagadeesanJR06},
  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},
  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}},
  pages     = {456--467},
  year      = {2006},
  crossref  = {DBLP:conf/icalp/2006-2},
  url       = {https://doi.org/10.1007/11787006\_39},
  doi       = {10.1007/11787006\_39},
  timestamp = {Wed, 14 Nov 2018 11:00:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/JagadeesanJPR06},
  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   = {Logical Methods in Computer Science},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lmcs/JeffreyR05},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/JeffreyR05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GordonJ05,
  author    = {Andrew D. Gordon and
               Alan Jeffrey},
  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},
  pages     = {186--201},
  year      = {2005},
  crossref  = {DBLP:conf/concur/2005},
  url       = {https://doi.org/10.1007/11539452\_17},
  doi       = {10.1007/11539452\_17},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/GordonJ05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HaackJ05,
  author    = {Christian Haack and
               Alan Jeffrey},
  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},
  pages     = {202--216},
  year      = {2005},
  crossref  = {DBLP:conf/concur/2005},
  url       = {https://doi.org/10.1007/11539452\_18},
  doi       = {10.1007/11539452\_18},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/HaackJ05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JeffreyR05,
  author    = {Alan Jeffrey and
               Julian Rathke},
  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},
  pages     = {423--438},
  year      = {2005},
  crossref  = {DBLP:conf/esop/2005},
  url       = {https://doi.org/10.1007/978-3-540-31987-0\_29},
  doi       = {10.1007/978-3-540-31987-0\_29},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/JeffreyR05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/JeffreyR05,
  author    = {Alan Jeffrey and
               Julian Rathke},
  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},
  pages     = {266--281},
  year      = {2005},
  crossref  = {DBLP:conf/fossacs/2005},
  url       = {https://doi.org/10.1007/978-3-540-31982-5\_17},
  doi       = {10.1007/978-3-540-31982-5\_17},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/JeffreyR05},
  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},
  archivePrefix = {arXiv},
  eprint    = {cs/0503067},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-cs-0503067},
  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   = {Journal of Computer Security},
  volume    = {12},
  number    = {3-4},
  pages     = {435--483},
  year      = {2004},
  url       = {http://content.iospress.com/articles/journal-of-computer-security/jcs206},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcs/GordonJ04},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/JeffreyR04},
  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},
  title     = {{\(\mathrm{\mu}\)}ABC: {A} Minimal Aspect Calculus},
  booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
               London, UK, August 31 - September 3, 2004, Proceedings},
  pages     = {209--224},
  year      = {2004},
  crossref  = {DBLP:conf/concur/2004},
  url       = {https://doi.org/10.1007/978-3-540-28644-8\_14},
  doi       = {10.1007/978-3-540-28644-8\_14},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/BrunsJJR04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/HaackJ04,
  author    = {Christian Haack and
               Alan Jeffrey},
  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},
  pages     = {55--70},
  year      = {2004},
  crossref  = {DBLP:conf/ifip1-7/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/bib/conf/ifip1-7/HaackJ04},
  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   = {Journal of Computer Security},
  volume    = {11},
  number    = {4},
  pages     = {451--520},
  year      = {2003},
  url       = {http://content.iospress.com/articles/journal-of-computer-security/jcs189},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcs/GordonJ03},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/GordonJ03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/JagadeesanJR03,
  author    = {Radha Jagadeesan and
               Alan Jeffrey and
               James Riely},
  title     = {A Calculus of Untyped Aspect-Oriented Programs},
  booktitle = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
               Darmstadt, Germany, July 21-25, 2003, Proceedings},
  pages     = {54--73},
  year      = {2003},
  crossref  = {DBLP:conf/ecoop/2003},
  url       = {https://doi.org/10.1007/978-3-540-45070-2\_4},
  doi       = {10.1007/978-3-540-45070-2\_4},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/JagadeesanJR03},
  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},
  year      = {2002},
  crossref  = {DBLP:conf/csfw/2002},
  url       = {https://doi.org/10.1109/CSFW.2002.1021808},
  doi       = {10.1109/CSFW.2002.1021808},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/GordonJ02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isss2/GordonJ02,
  author    = {Andrew D. Gordon and
               Alan Jeffrey},
  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},
  pages     = {263--282},
  year      = {2002},
  crossref  = {DBLP:conf/isss2/2002},
  url       = {https://doi.org/10.1007/3-540-36532-X\_17},
  doi       = {10.1007/3-540-36532-X\_17},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isss2/GordonJ02},
  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},
  year      = {2002},
  crossref  = {DBLP:conf/lics/2002},
  url       = {https://doi.org/10.1109/LICS.2002.1029820},
  doi       = {10.1109/LICS.2002.1029820},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/JeffreyR02},
  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   = {Computer 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 = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cn/WakemanJOP01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GordonJ01,
  author    = {Andrew D. Gordon and
               Alan Jeffrey},
  title     = {Typing Correspondence Assertions for Communication Protocols},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {45},
  pages     = {119--140},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1571-0661(04)80959-9},
  doi       = {10.1016/S1571-0661(04)80959-9},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/GordonJ01},
  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},
  year      = {2001},
  crossref  = {DBLP:conf/csfw/2001},
  url       = {https://doi.org/10.1109/CSFW.2001.930143},
  doi       = {10.1109/CSFW.2001.930143},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/GordonJ01},
  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},
  year      = {2001},
  crossref  = {DBLP:conf/lics/2001},
  url       = {https://doi.org/10.1109/LICS.2001.932508},
  doi       = {10.1109/LICS.2001.932508},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/Jeffrey01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GordonJ01,
  author    = {Andrew D. Gordon and
               Alan Jeffrey},
  title     = {A Type and Effect Analysis of Security Protocols},
  booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
               July 16-18, 2001, Proceedings},
  pages     = {432--432},
  year      = {2001},
  crossref  = {DBLP:conf/sas/2001},
  url       = {https://doi.org/10.1007/3-540-47764-0\_26},
  doi       = {10.1007/3-540-47764-0\_26},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/GordonJ01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Jeffrey00,
  author    = {Alan Jeffrey},
  title     = {Preface},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {41},
  number    = {3},
  pages     = {89},
  year      = {2000},
  url       = {https://doi.org/10.1016/S1571-0661(05)80875-8},
  doi       = {10.1016/S1571-0661(05)80875-8},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/Jeffrey00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FerreiraHJ00,
  author    = {William Ferreira and
               Matthew Hennessy and
               Alan Jeffrey},
  title     = {Combining the typed lambda-calculus with {CCS}},
  booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
  pages     = {511--534},
  year      = {2000},
  crossref  = {DBLP:conf/birthday/1999milner},
  timestamp = {Mon, 23 Jun 2008 08:50:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/FerreiraHJ00},
  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},
  year      = {2000},
  crossref  = {DBLP:conf/lics/2000},
  url       = {https://doi.org/10.1109/LICS.2000.855780},
  doi       = {10.1109/LICS.2000.855780},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/JeffreyR00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/SchweimeierJ99,
  author    = {Ralf Schweimeier and
               Alan Jeffrey},
  title     = {A Categorical and Graphical Treatment of Closure Conversion},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {20},
  pages     = {481--511},
  year      = {1999},
  url       = {https://doi.org/10.1016/S1571-0661(04)80090-2},
  doi       = {10.1016/S1571-0661(04)80090-2},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/SchweimeierJ99},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/Jeffrey99},
  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},
  year      = {1999},
  crossref  = {DBLP:conf/lics/1999},
  url       = {https://doi.org/10.1109/LICS.1999.782586},
  doi       = {10.1109/LICS.1999.782586},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/JeffreyR99},
  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       = {http://journals.cambridge.org/action/displayAbstract?aid=44201},
  timestamp = {Fri, 10 Jun 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/FerreiraHJ98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Jeffrey97,
  author    = {Alan Jeffrey},
  title     = {Premonoidal categories and flow graphs},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {10},
  pages     = {51},
  year      = {1997},
  url       = {https://doi.org/10.1016/S1571-0661(05)80688-7},
  doi       = {10.1016/S1571-0661(05)80688-7},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/Jeffrey97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FerreiraHJ96,
  author    = {William Ferreira and
               Matthew Hennessy and
               Alan Jeffrey},
  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},
  year      = {1996},
  crossref  = {DBLP:conf/icfp/1996},
  url       = {https://doi.org/10.1145/232627.232649},
  doi       = {10.1145/232627.232649},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/FerreiraHJ96},
  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/bib/books/daglib/0080893},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Jeffrey95,
  author    = {Alan Jeffrey},
  title     = {A fully abstract semantics for a nondeterministic functional language
               with monadic types},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {1},
  pages     = {290--301},
  year      = {1995},
  url       = {https://doi.org/10.1016/S1571-0661(04)80016-1},
  doi       = {10.1016/S1571-0661(04)80016-1},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/Jeffrey95},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/AcetoJ95},
  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},
  year      = {1995},
  crossref  = {DBLP:conf/lics/1995},
  url       = {https://doi.org/10.1109/LICS.1995.523261},
  doi       = {10.1109/LICS.1995.523261},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/Jeffrey95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BrownJ94,
  author    = {Carolyn Brown and
               Alan Jeffrey},
  title     = {Allegories of Circuits},
  booktitle = {Logical Foundations of Computer Science, Third International Symposium,
               LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
  pages     = {56--68},
  year      = {1994},
  crossref  = {DBLP:conf/lfcs/1994},
  url       = {https://doi.org/10.1007/3-540-58140-5\_7},
  doi       = {10.1007/3-540-58140-5\_7},
  timestamp = {Tue, 19 Sep 2017 10:58:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lfcs/BrownJ94},
  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},
  year      = {1994},
  crossref  = {DBLP:conf/lics/1994},
  url       = {https://doi.org/10.1109/LICS.1994.316084},
  doi       = {10.1109/LICS.1994.316084},
  timestamp = {Wed, 13 Feb 2019 11:42:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/Jeffrey94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Jeffrey93,
  author    = {Alan Jeffrey},
  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},
  pages     = {293--303},
  year      = {1993},
  crossref  = {DBLP:conf/mfps/1993},
  url       = {https://doi.org/10.1007/3-540-58027-1\_14},
  doi       = {10.1007/3-540-58027-1\_14},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfps/Jeffrey93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Jeffrey92,
  author    = {Alan Jeffrey},
  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},
  pages     = {493--506},
  year      = {1992},
  crossref  = {DBLP:conf/ftrtft/1992},
  url       = {https://doi.org/10.1007/3-540-55092-5\_27},
  doi       = {10.1007/3-540-55092-5\_27},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftrtft/Jeffrey92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Jeffrey91,
  author    = {Alan Jeffrey},
  title     = {A Linear Time Process Algebra},
  booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
               Aalborg, Denmark, July, 1-4, 1991, Proceedings},
  pages     = {432--442},
  year      = {1991},
  crossref  = {DBLP:conf/cav/1991},
  url       = {https://doi.org/10.1007/3-540-55179-4\_40},
  doi       = {10.1007/3-540-55179-4\_40},
  timestamp = {Sat, 20 May 2017 15:32:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/Jeffrey91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Jeffrey91,
  author    = {Alan Jeffrey},
  title     = {Abstract Timed Observation and Process Algebra},
  booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
               Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
  pages     = {332--345},
  year      = {1991},
  crossref  = {DBLP:conf/concur/1991},
  url       = {https://doi.org/10.1007/3-540-54430-5\_98},
  doi       = {10.1007/3-540-54430-5\_98},
  timestamp = {Sat, 20 May 2017 15:32:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/Jeffrey91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2016,
  editor    = {Martin Grohe and
               Eric Koskinen and
               Natarajan Shankar},
  title     = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2933575},
  doi       = {10.1145/2933575},
  isbn      = {978-1-4503-4391-6},
  timestamp = {Fri, 21 Dec 2018 14:34:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2014,
  editor    = {Thomas A. Henzinger and
               Dale Miller},
  title     = {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},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2603088},
  isbn      = {978-1-4503-2886-9},
  timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/csl/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2013,
  editor    = {Greg Morrisett and
               Tarmo Uustalu},
  title     = {{ACM} {SIGPLAN} International Conference on Functional Programming,
               ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2500365},
  isbn      = {978-1-4503-2326-0},
  timestamp = {Thu, 19 Sep 2013 11:20:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icws/2013,
  title     = {2013 {IEEE} 20th International Conference on Web Services, Santa Clara,
               CA, USA, June 28 - July 3, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6596022},
  isbn      = {978-0-7695-5025-1},
  timestamp = {Thu, 20 Aug 2015 11:55:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icws/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2013,
  editor    = {Konstantinos Sagonas},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-45284-0},
  doi       = {10.1007/978-3-642-45284-0},
  isbn      = {978-3-642-45283-3},
  timestamp = {Tue, 18 Jul 2017 14:13:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plpv/2013,
  editor    = {Matthew Might and
               David Van Horn and
               Andreas Abel and
               Tim Sheard},
  title     = {Proceedings of the 7th Workshop on Programming languages meets program
               verification, {PLPV} 2013, Rome, Italy, January 22, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2428116},
  isbn      = {978-1-4503-1860-0},
  timestamp = {Fri, 27 Sep 2013 20:12:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/plpv/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plpv/2012,
  editor    = {Koen Claessen and
               Nikhil Swamy},
  title     = {Proceedings of the sixth workshop on Programming Languages meets Program
               Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  publisher = {{ACM}},
  year      = {2012},
  isbn      = {978-1-4503-1125-0},
  timestamp = {Fri, 27 Jan 2012 10:20:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/plpv/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2011,
  editor    = {Marc Bezem},
  title     = {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},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2011},
  url       = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=11007},
  isbn      = {978-3-939897-32-3},
  timestamp = {Tue, 26 Feb 2013 10:49:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/csl/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2011,
  editor    = {Riccardo Rosati and
               Sebastian Rudolph and
               Michael Zakharyaschev},
  title     = {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       = {http://ceur-ws.org/Vol-745},
  urn       = {urn:nbn:de:0074-745-4},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2011,
  editor    = {Thomas Ball and
               Mooly Sagiv},
  title     = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
               2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=1926385},
  isbn      = {978-1-4503-0490-0},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esorics/2009,
  editor    = {Michael Backes and
               Peng Ning},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04444-1},
  doi       = {10.1007/978-3-642-04444-1},
  isbn      = {978-3-642-04443-4},
  timestamp = {Tue, 23 May 2017 01:07:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esorics/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/policy/2009,
  title     = {{POLICY} 2009, {IEEE} International Symposium on Policies for Distributed
               Systems and Networks, London, UK, 20-22 July 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5197366},
  isbn      = {978-0-7695-3742-9},
  timestamp = {Wed, 25 Nov 2015 15:22:51 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/policy/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2008,
  editor    = {Jason Tsong{-}Li Wang},
  title     = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
               of Data, {SIGMOD} 2008, Vancouver, BC, Canada, June 10-12, 2008},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-102-6},
  timestamp = {Tue, 10 Jun 2008 07:10:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2007,
  editor    = {Vikraman Arvind and
               Sanjiva Prasad},
  title     = {{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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-77050-3},
  doi       = {10.1007/978-3-540-77050-3},
  isbn      = {978-3-540-77049-7},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2006-2,
  editor    = {Michele Bugliesi and
               Bart Preneel and
               Vladimiro Sassone and
               Ingo Wegener},
  title     = {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},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11787006},
  doi       = {10.1007/11787006},
  isbn      = {3-540-35907-9},
  timestamp = {Wed, 14 Nov 2018 11:00:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/2006-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2005,
  editor    = {Mart{\'{\i}}n Abadi and
               Luca de Alfaro},
  title     = {{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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11539452},
  doi       = {10.1007/11539452},
  isbn      = {3-540-28309-9},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2005,
  editor    = {Shmuel Sagiv},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b107380},
  doi       = {10.1007/b107380},
  isbn      = {3-540-25435-8},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2005,
  editor    = {Vladimiro Sassone},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b106850},
  doi       = {10.1007/b106850},
  isbn      = {3-540-25388-2},
  timestamp = {Tue, 23 May 2017 01:08:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2004,
  editor    = {Philippa Gardner and
               Nobuko Yoshida},
  title     = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
               London, UK, August 31 - September 3, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3170},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100113},
  doi       = {10.1007/b100113},
  isbn      = {3-540-22940-X},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip1-7/2004,
  editor    = {Theodosis Dimitrakos and
               Fabio Martinelli},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  isbn      = {0-387-24050-0},
  timestamp = {Thu, 24 Jul 2014 13:51:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip1-7/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2003,
  editor    = {Luca Cardelli},
  title     = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
               Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2743},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b11832},
  doi       = {10.1007/b11832},
  isbn      = {3-540-40531-3},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csfw/2002,
  title     = {15th {IEEE} Computer Security Foundations Workshop {(CSFW-15} 2002),
               24-26 June 2002, Cape Breton, Nova Scotia, Canada},
  publisher = {{IEEE} Computer Society},
  year      = {2002},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7957},
  isbn      = {0-7695-1689-0},
  timestamp = {Fri, 13 May 2016 11:51:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isss2/2002,
  editor    = {Mitsuhiro Okada and
               Benjamin C. Pierce and
               Andre Scedrov and
               Hideyuki Tokuda and
               Akinori Yonezawa},
  title     = {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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36532-X},
  doi       = {10.1007/3-540-36532-X},
  isbn      = {3-540-00708-3},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isss2/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2002,
  title     = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
               22-25 July 2002, Copenhagen, Denmark, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2002},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8005},
  isbn      = {0-7695-1483-9},
  timestamp = {Fri, 21 Nov 2014 14:08:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csfw/2001,
  title     = {14th {IEEE} Computer Security Foundations Workshop {(CSFW-14} 2001),
               11-13 June 2001, Cape Breton, Nova Scotia, Canada},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7408},
  isbn      = {0-7695-1146-5},
  timestamp = {Fri, 13 May 2016 11:52:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2001,
  title     = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
               Massachusetts, USA, June 16-19, 2001, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7424},
  isbn      = {0-7695-1281-X},
  timestamp = {Fri, 21 Nov 2014 14:08:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2001,
  editor    = {Patrick Cousot},
  title     = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
               July 16-18, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-47764-0},
  doi       = {10.1007/3-540-47764-0},
  isbn      = {3-540-42314-1},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/1999milner,
  editor    = {Gordon D. Plotkin and
               Colin Stirling and
               Mads Tofte},
  title     = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
  publisher = {The {MIT} Press},
  year      = {2000},
  isbn      = {978-0-262-16188-6},
  timestamp = {Mon, 23 Jun 2008 08:50:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/1999milner},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2000,
  title     = {15th Annual {IEEE} Symposium on Logic in Computer Science, Santa Barbara,
               California, USA, June 26-29, 2000},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6908},
  isbn      = {0-7695-0725-5},
  timestamp = {Fri, 21 Nov 2014 14:08:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/1999,
  title     = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
               Italy, July 2-5, 1999},
  publisher = {{IEEE} Computer Society},
  year      = {1999},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6352},
  isbn      = {0-7695-0158-3},
  timestamp = {Fri, 21 Nov 2014 14:08:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/1996,
  editor    = {Robert Harper and
               Richard L. Wexelblat},
  title     = {Proceedings of the 1996 {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 1996, Philadelphia, Pennsylvania, USA,
               May 24-26, 1996},
  publisher = {{ACM}},
  year      = {1996},
  isbn      = {0-89791-770-7},
  timestamp = {Tue, 14 Aug 2018 17:07:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/1995,
  title     = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
               San Diego, California, USA, June 26-29, 1995},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3961},
  isbn      = {0-8186-7050-9},
  timestamp = {Fri, 21 Nov 2014 14:08:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/1994,
  editor    = {Anil Nerode and
               Yuri V. Matiyasevich},
  title     = {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},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-58140-5},
  doi       = {10.1007/3-540-58140-5},
  isbn      = {3-540-58140-5},
  timestamp = {Tue, 19 Sep 2017 10:58:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lfcs/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/1994,
  title     = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
               {(LICS} '94), Paris, France, July 4-7, 1994},
  publisher = {{IEEE} Computer Society},
  year      = {1994},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=990},
  isbn      = {0-8186-6310-3},
  timestamp = {Wed, 13 Feb 2019 11:42:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/1993,
  editor    = {Stephen D. Brookes and
               Michael G. Main and
               Austin Melton and
               Michael W. Mislove and
               David A. Schmidt},
  title     = {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},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-58027-1},
  doi       = {10.1007/3-540-58027-1},
  isbn      = {3-540-58027-1},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfps/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/1992,
  editor    = {Jan Vytopil},
  title     = {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},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/3-540-55092-5},
  doi       = {10.1007/3-540-55092-5},
  isbn      = {3-540-55092-5},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftrtft/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1991,
  editor    = {Kim Guldstrand Larsen and
               Arne Skou},
  title     = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
               Aalborg, Denmark, July, 1-4, 1991, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {575},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/3-540-55179-4},
  doi       = {10.1007/3-540-55179-4},
  isbn      = {3-540-55179-4},
  timestamp = {Sat, 20 May 2017 15:32:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1991,
  editor    = {Jos C. M. Baeten and
               Jan Friso Groote},
  title     = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
               Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {527},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/3-540-54430-5},
  doi       = {10.1007/3-540-54430-5},
  isbn      = {3-540-54430-5},
  timestamp = {Sat, 20 May 2017 15:32:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier