general.bib

@INPROCEEDINGS{dist-euromicro,
  AUTHOR = {A. Girault},
  TITLE = {Elimination of Redundant Messages with a Two-Pass
                  Static Analysis Algorithm},
  KEY = {my-tcs},
  BOOKTITLE = {9th Euromicro Workshop on Parallel and Distributed
                  Processing, PDP'01},
  YEAR = 2001,
  ADDRESS = {Mantova, Italy},
  MONTH = FEB,
  PAGES = {178--185},
  URL = {http://pop-art.inrialpes.fr/~girault/Publications/EuromicroPDP01-1},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/EuromicroPDP01-1/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/EuromicroPDP01-1/main.ps},
  BIB2HTML_PUBTYPE = {Refereed conference},
  BIB2HTML_RESCAT = {Theoretical computer science}
}

@ARTICLE{dist-parco,
  AUTHOR = {A. Girault},
  TITLE = {Elimination of Redundant Messages with a Two-Pass
                  Static Analysis Algorithm},
  KEY = {my-tcs},
  JOURNAL = {Parallel Computing},
  YEAR = 2002,
  VOLUME = 28,
  NUMBER = 3,
  MONTH = MAR,
  PAGES = {433--453},
  URL = {http://pop-art.inrialpes.fr/~girault/Publications/Parco02},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Parco02/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Parco02/main.ps},
  BIB2HTML_PUBTYPE = {Journal},
  BIB2HTML_RESCAT = {Theoretical computer science}
}

@INPROCEEDINGS{equiv-fsttcs,
  AUTHOR = {P. Caspi and J.-C. Fernandez and A. Girault},
  TITLE = {An Algorithm for Reducing Binary Branchings},
  KEY = {my-tcs},
  BOOKTITLE = {Conference on the Foundations of Software
                  Technology and Theoretical Computer Science,
                  FST\&TCS'95},
  EDITOR = {P.S. Thiagarajan},
  VOLUME = 1026,
  PAGES = {279--293},
  SERIES = {LNCS},
  YEAR = 1995,
  PUBLISHER = {Springer-Verlag},
  ADDRESS = {Bangalore, India},
  MONTH = DEC,
  URL = {http://pop-art.inrialpes.fr/~girault/Publications/Fsttcs95},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Fsttcs95/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Fsttcs95/main.ps},
  BIB2HTML_PUBTYPE = {Refereed conference},
  BIB2HTML_RESCAT = {Theoretical computer science}
}

@ARTICLE{starcharts,
  AUTHOR = {A. Girault and B. Lee and E.A. Lee},
  TITLE = {Hierarchical Finite State Machines with Multiple
                  Concurrency Models},
  KEY = {my-tcs},
  JOURNAL = {IEEE Trans.\ Computer-Aided Design of Integrated Circuits and Systems},
  YEAR = 1999,
  VOLUME = 18,
  NUMBER = 6,
  MONTH = JUN,
  PAGES = {742--760},
  NOTE = {Research report UCB/ERL M97/57},
  URL = {http://pop-art.inrialpes.fr/~girault/Publications/Tcad99},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Tcad99/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Tcad99/main.ps},
  BIB2HTML_PUBTYPE = {Journal},
  BIB2HTML_RESCAT = {Theoretical computer science},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}