GadducciM05'

BibTeX

@inproceedings{DBLP:conf/birthday/GadducciM05,
  author    = {Fabio Gadducci and
               Ugo Montanari},
  title     = {Observing Reductions in Nominal Calculi {\it ia} a Graphical
               Encoding of Processes},
  booktitle = {Processes, Terms and Cycles},
  year      = {2005},
  pages     = {106-126},
  ee        = {http://dx.doi.org/10.1007/11601548_9},
  crossref  = {DBLP:conf/birthday/2005klop},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/birthday/2005klop,
  editor    = {Aart Middeldorp and
               Vincent van Oostrom and
               Femke van Raamsdonk and
               Roel C. de Vrijer},
  title     = {Processes, Terms and Cycles: Steps on the Road to Infinity,
               Essays Dedicated to Jan Willem Klop, on the Occasion of
               His 60th Birthday},
  booktitle = {Processes, Terms and Cycles},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3838},
  year      = {2005},
  isbn      = {3-540-30911-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}