DBLP Record 'conf/pdse/ZhouT99'

BibTeX

@inproceedings{DBLP:conf/pdse/ZhouT99,
  author    = {Jun Zhou and
               Kuo-Chung Tai},
  title     = {Deadlock Analysis of Synchronous Message-Passing Programs},
  booktitle = {PDSE},
  year      = {1999},
  pages     = {62-},
  ee        = {http://computer.org/proceedings/pdse/0191/01910062abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}