@article{tix2009semantic,
  title={Semantic domains for combining probability and non-determinism},
  author={Tix, Regina and Keimel, Klaus and Plotkin, Gordon},
  journal={Electronic Notes in Theoretical Computer Science},
  volume={222},
  pages={3--99},
  year={2009},
  publisher={Elsevier},
  url={http://homepages.inf.ed.ac.uk/gdp/publications/tkp_linked.pdf},
}

{"_id":"NL9suXTWatA84w5AF","authorIDs":[],"author_short":["Tix, R.","Keimel, K.","Plotkin, G."],"bibbaseid":"tix-keimel-plotkin-semanticdomainsforcombiningprobabilityandnondeterminism-2009","bibdata":{"bibtype":"article","type":"article","title":"Semantic domains for combining probability and non-determinism","author":[{"propositions":[],"lastnames":["Tix"],"firstnames":["Regina"],"suffixes":[]},{"propositions":[],"lastnames":["Keimel"],"firstnames":["Klaus"],"suffixes":[]},{"propositions":[],"lastnames":["Plotkin"],"firstnames":["Gordon"],"suffixes":[]}],"journal":"Electronic Notes in Theoretical Computer Science","volume":"222","pages":"3--99","year":"2009","publisher":"Elsevier","url":"http://homepages.inf.ed.ac.uk/gdp/publications/tkp_linked.pdf","bibtex":"@article{tix2009semantic,\n title={Semantic domains for combining probability and non-determinism},\n author={Tix, Regina and Keimel, Klaus and Plotkin, Gordon},\n journal={Electronic Notes in Theoretical Computer Science},\n volume={222},\n pages={3--99},\n year={2009},\n publisher={Elsevier},\n url={http://homepages.inf.ed.ac.uk/gdp/publications/tkp_linked.pdf},\n}\n\n","author_short":["Tix, R.","Keimel, K.","Plotkin, G."],"key":"tix2009semantic","id":"tix2009semantic","bibbaseid":"tix-keimel-plotkin-semanticdomainsforcombiningprobabilityandnondeterminism-2009","role":"author","urls":{"Paper":"http://homepages.inf.ed.ac.uk/gdp/publications/tkp_linked.pdf"},"downloads":0,"html":""},"bibtype":"article","biburl":"https://raw.githubusercontent.com/fritzo/fritzo.org/master/www/references.bib","creationDate":"2014-11-26T23:48:01.262Z","downloads":0,"keywords":[],"search_terms":["semantic","domains","combining","probability","non","determinism","tix","keimel","plotkin"],"title":"Semantic domains for combining probability and non-determinism","year":2009,"dataSources":["NcgKqCFFGXEHbjvdP"]}