Removal of Paper: Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191) from bib at Philippa's request

From Philippa's old site.

Calcagno2007Local permits distribution of published version. Add
preprint too.

Calcagno2005Context: Extended version of paper.

https://web.archive.org/web/20170808071912/http://wischik.com/lu/research/fm-eabs-concur02.pdf

Re-convert Zarfaty2006Local.pdf from PostScript, with correct paper size (page headings were overhanging)

Commands used:
  pkfix-helper horac.ps horac.pkfix-helper.ps \
    -f "Fz=cmss*@*" -f "FB=cmbx*@*" -f "Fv=cmsl*@*" -f "FC=cmtex*@*" \
    -f "Fh=line*@*" -f "Fj=cmss*@*" -f "FA=msbm10@*" -f "Fa=cmmi*@*" \
    -f "Ff=msbm*@*" -f "Fm=cmmib*@*" -f "FI=cmr*@*" -f "FE=cmr*@*"
  pkfix horac.pkfix-helper.ps horac.pkfix.ps
  ps2pdf -sPAPERSIZE=a4 horac.pkfix.ps

Commands used:
  pkfix-helper journal.ps journal.pkfix-helper.ps \
    -f "Ft=cmr*@*" -f "Fa=cmmi*@*" -f "Fb=cmsy*@*" -f "Fd=cmsy*@*" \
    -f "Fe=msam*@*" -f "Fi=cmmib*@*" -f "Fl=msbm10@*" -f "Fm=cmr*@*" \
    -f "Fk=cmss*@*" -f "Fu=cmr*@*"
  pkfix journal.pkfix-helper.ps journal.pkfix.ps
  ps2pdf -sPAPERSIZE=a4 journal.pkfix.ps

Commands used:
  pkfix-helper lf-full.ps lf-full.pkfix-helper.ps \
    -f "Fa=cmsl*@*" -f "Fu=cmr*@*" -f "FC=cmsy*@*" -f "Fc=cmsy*@*" \
    -f "Ff=cmex*@*" -f "Fv=cmsy*@*"
  pkfix lf-full.pkfix-helper.ps lf-full.pkfix.ps
  ps2pdf -sPAPERSIZE=a4 lf-full.pkfix.ps

Used commands:
pkfix-helper needed.ps needed.pkfix-helper.ps \
  -f "FA=cmr*@*" -f "Fs=cmsl*@*" -f "Fa=cmsl*@*" -f "FG=cmsy*@*" \
  -f "Fc=cmmi10@*" -f "Ff=cmsy*@*" -f "FE=cmr*@*" -f "Ft=cmr*@*" \
  -f "FJ=cmr12@*" -f "FH=cmr*@*"
pkfix needed.pkfix-helper.ps needed.fixed.ps
ps2pdf -sPAPERSIZE=a4 needed.fixed.ps

See #6

Removes:
* Gardner1997Types.pdf
* Gardner1993New.pdf

Both of which we have currently no authors' version of, publication
permission tbc

References #6

Additionally remove Garnder2006CONCUR as it is just the editors'
comments for a conference proceedings.

Remove Jose's 2017 publication pending replacement with author copy.