BibTeX record journals/iandc/BaetenB88

download as .bib file

@article{DBLP:journals/iandc/BaetenB88,
  author    = {Jos C. M. Baeten and
               Jan A. Bergstra},
  title     = {Global Renaming Operators in Concrete Process Algebra},
  journal   = {Inf. Comput.},
  volume    = {78},
  number    = {3},
  pages     = {205--245},
  year      = {1988}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics