@COMMENT{{{This file has been generated by bib2bib 1.74}}
@COMMENT{{{Command line: ./bib2bib -c 'author:"alvim" | author:"andres" | author:"aranda" | author:"aristizabal" | author:"beauxis" | author:"bonchi" | author:"bordenabe" | author:"braun" | author:"chatzikokolakis" | author:"chothia" | author:"deng" | author:"dubreil" | author:"elsalamouny" | author:"giunti" | author:"hamadou" | author:"knight" | author:"kramer" | author:"mio" | author:"olarte" | author:"palamidessi" | author:"pang" | author:"pino" | author:"pradalier" | author:"stronati" | author: "troina" | author:"valencia" | author:"wu" | author:"xu" | author:"ziegler"' -c year=2004 papers.bib}}

@INPROCEEDINGS{Rueda:04:ICLP,
  AUTHOR = {C. Rueda and F. Valencia},
  BOOKTITLE = {Proc. of the Nineteenth International Conference on Logic Programming (ICLP 2004)},
  EDITOR = {Bart Demoen and Vladimir Lifschitz},
  ISBN = {3-540-22671-0},
  PAGES = {343--355},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {Non-Viability Deductions in Arc-Consistency Computation.},
  VOLUME = {3132},
  YEAR = {2004}
}

@ARTICLE{Rueda:04:SC,
  AUTHOR = {Camilo Rueda and Frank D. Valencia},
  JOURNAL = {Soft Computing},
  NUMBER = {9},
  PAGES = {641--648},
  PUBLISHER = {Springer},
  TITLE = {On validity in modelization of musical problems by {CCP}},
  VOLUME = {8},
  YEAR = {2004}
}

@TECHREPORT{Herescu:04:TR,
  AUTHOR = {Oltea M. Herescu and Catuscia Palamidessi},
  INSTITUTION = {INRIA Futurs and LIX},
  NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Prob_asy_pi/report.ps}},
  TITLE = {Probabilistic Asynchronous $\pi$-calculus},
  YEAR = {2004}
}

@INPROCEEDINGS{Giambiagi:04:FOSSACS,
  AUTHOR = {Pablo Giambiagi and Gerardo Schneider and Frank D. Valencia},
  BOOKTITLE = {Proceedings of the 7th International Conference on the Foundations of Software Science and Computation Structures (FOSSACS 2004)},
  EDITOR = {Igor Walukiewicz},
  ISBN = {3-540-21298-1},
  PAGES = {226--240},
  PDF = {http://www.brics.dk/~fvalenci/fossacs04.pdf},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi},
  VOLUME = {2987},
  YEAR = {2004}
}


This file has been generated by bibtex2html 1.74