topic.misc.bib
@comment{{This file has been generated by bib2bib 1.99}}
@comment{{Command line: bibtex2html-1.99-with-magiclink/bib2bib -c topic:"misc" -ob topic.misc.bib sewellbib2.bib}}
@article{DBLP:journals/entcs/Sewell06,
author = {Peter Sewell},
title = {Process Calculi: The End of the Beginning? (From Thought
Experiments to Experimental Semantics)},
journal = {Electr. Notes Theor. Comput. Sci.},
volume = {162},
year = {2006},
pages = {317-321},
url = {https://doi.org/10.1016/j.entcs.2006.01.033},
doi = {10.1016/j.entcs.2006.01.033},
bibsource = {DBLP, http://dblp.uni-trier.de},
abstract = {
This note reflects, from a Process Calculus point of view, on lessons learned during research modelling the real-world TCP and UDP network protocols.},
topic = {misc}
}
@inproceedings{Gordon:2011:RMV:1926385.1926439,
author = {Gordon, Andrew D. and Harper, Robert and Harrison, John and Jeffrey, Alan and Sewell, Peter},
title = {{Robin Milner} 1934--2010: verification, languages, and concurrency},
conf = {POPL 2011},
booktitle = {Proceedings of the 38th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages},
optseries = {POPL '11},
year = {2011},
isbn = {978-1-4503-0490-0},
optlocation = {Austin, Texas, USA},
pages = {473--474},
numpages = {2},
opturl = {http://doi.acm.org/10.1145/1926385.1926439},
doi = {http://doi.acm.org/10.1145/1926385.1926439},
optacmid = {1926439},
optpublisher = {ACM},
optaddress = {New York, NY, USA},
optkeywords = {Robin Milner},
topic = {misc}
}
@article{Dreyer:2013:PP:2502508.2502517,
author = {Dreyer, Derek and Field, John and Giacobazzi, Roberto and Hicks, Michael and Jagannathan, Suresh and Sagiv, Mooly and Sewell, Peter and Wadler, Phil},
title = {Principles of {POPL}},
journal = {SIGPLAN Notices},
issue_date = {April 2013},
volume = {48},
number = {4S},
month = jul,
year = {2013},
issn = {0362-1340},
pages = {12--16},
numpages = {5},
opturl = {http://doi.acm.org/10.1145/2502508.2502517},
doi = {10.1145/2502508.2502517},
acmid = {2502517},
publisher = {ACM},
address = {New York, NY, USA},
topic = {misc}
}
@article{Sewell:2014:PPC:2641638.2641647,
author = {Sewell, Peter},
title = {{POPL} 2014 Program Chair's Report},
journal = {SIGPLAN Notices},
issue_date = {April 2014},
volume = {49},
number = {4},
month = jul,
year = {2014},
issn = {0362-1340},
pages = {10--26},
numpages = {17},
opturl = {http://doi.acm.org/10.1145/2641638.2641647},
doi = {10.1145/2641638.2641647},
acmid = {2641647},
publisher = {ACM},
address = {New York, NY, USA},
pdf = {http://www.cl.cam.ac.uk/~pes20/popl2014-pc-chair-report.pdf},
abstract = {This note describes the POPL 2014 paper selection process and its
rationale.
},
topic = {misc}
}
@misc{SW04,
optkey = {},
author = {Peter Sewell and Keith Wansbrough},
title = {Applied Semantics: Specifying and Developing Abstractions for Distributed Computation (Grand Challenge Discussion Paper -- {GC2}, {GC4}, and {GC6})},
howpublished = {Position paper for Grand Challenge meeting (Newcastle). 5pp},
optmonth = {},
year = {2004},
optnote = {},
optannote = {},
pdf = {http://www.cl.cam.ac.uk/users/pes20/grandchallenge2004.pdf},
topic = {misc}
}