topic.misc.bib

@comment{{This file has been generated by bib2bib 1.96}}
@comment{{Command line: /usr/bin/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 annual 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}
}