BibTeX record conf/ifip2/BergstraKO87

download as .bib file

@inproceedings{DBLP:conf/ifip2/BergstraKO87,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop and
                  Ernst{-}R{\"{u}}diger Olderog},
  editor       = {Martin Wirsing},
  title        = {Failures without chaos: a new process semantics for fair abstraction},
  booktitle    = {Formal Description of Programming Concepts - {III:} Proceedings of
                  the {IFIP} {TC} 2/WG 2.2 Working Conference on Formal Description
                  of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986},
  pages        = {77--104},
  publisher    = {North-Holland},
  year         = {1987},
  timestamp    = {Thu, 10 Jan 2019 14:38:20 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/BergstraKO87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics