bcp.bib

@preamble{{\newcommand{\SortNoop}[1]{}}}
@inproceedings{SewellWojciechowskiPierce98,
  author = {Peter Sewell and Pawel Wojciechowski and Benjamin Pierce},
  title = {Location Independence for Mobile Agents},
  booktitle = {Proceedings of {ICCL} '98},
  editor = {H. E. Bal and B. Belkhouche and L. Cardelli},
  volume = {1686},
  series = {lncs},
  publisher = {Springer-Verlag},
  month = sep,
  year = {1999},
  note = {An earlier version with title {\em Location-Independent
                  Communication for Mobile Agents: a Two-Level
                  Architecture\/} appeared as Technical Report 462, Computer
                  Laboratory, University of Cambridge, April 1999},
  plclub = {Yes},
  bcp = {Yes},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/wipl.ps},
  official = {http://link.springer.de/link/service/series/0558/bibs/1686/16860001.htm},
  keys = {mobileagents}
}
@misc{Spiders,
  author = {Benjamin C. Pierce and Alessandro Romanel and Daniel Wagner},
  title = {The {Spider Calculus}: Computing in Active Graphs},
  year = {2010},
  plclub = {Yes},
  bcp = {Yes},
  keys = {mobileagents},
  manuscript = {http://www.cis.upenn.edu/~bcpierce/papers/spider_calculus.pdf},
  note = {Manuscript, available from \url{http://www.cis.upenn.edu/~bcpierce/papers/spider_calculus.pdf}}
}