BoerFHS98'

BibTeX

@inproceedings{DBLP:conf/procomet/BoerFHS98,
  author    = {Frank S. de Boer and
               Nissim Francez and
               M. van Hulst and
               Frank A. Stomp},
  title     = {A proof theory of asynchronously communicating sequential
               processes},
  booktitle = {PROCOMET},
  year      = {1998},
  pages     = {49-67},
  crossref  = {DBLP:conf/procomet/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/procomet/1998,
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods (PROCOMET
               '98) 8-12 June 1998, Shelter Island, New York, USA},
  booktitle = {PROCOMET},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {125},
  year      = {1998},
  isbn      = {0-412-83760-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}