@COMMENT{{{This file has been generated by bib2bib 1.74}}

@COMMENT{{{Command line: ./bib2bib -c 'year>=1998 & year <= 2013' -c 'author: "ziegler"' papers.bib}}

@INPROCEEDINGS{Ziegler:05:SOS,
  ADDRESS = {Lisbon, Portugal},
  AUTHOR = {Axelle Ziegler and Dale Miller and Catuscia Palamidessi},
  BOOKTITLE = {Proceedings of the 2nd Workshop on Structural Operational Semantics (SOS'05)},
  NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Axelle/SOS_05/report.pdf}},
  NUMBER = {1},
  PAGES = {169--189},
  PUBLISHER = {Elsevier Science B.V.},
  SERIES = {Electronic Notes in Theoretical Computer Science},
  TITLE = {A Congruence Format for Name-passing Calculi},
  VOLUME = {156},
  YEAR = {2006}
}

This file has been generated by bibtex2html 1.74