Sound and Complete Equational Reasoning over Comodels (bibtex)
by Dirk Pattinson, Lutz Schröder
Reference:
Sound and Complete Equational Reasoning over Comodels (Dirk Pattinson, Lutz Schröder), In Proc. Mathematical Foundations of Programming Semantics XXXI, MFPS 2015, ENTCS, vol. 319, pp. 315–331, Elsevier, 2015.
Bibtex Entry:
@inproceedings{PattinsonSchroder15a,
  title = {Sound and Complete Equational Reasoning over Comodels},
  author = {Dirk Pattinson and Lutz Schr\"oder},
  booktitle = {Proc. Mathematical Foundations of Programming Semantics XXXI, MFPS 2015},
  series = {ENTCS},
  volume    = {319},
  pages     = {315--331},
  publisher = {Elsevier},
  url = {http://www8.cs.fau.de/_media/research:papers:comodels-compl.pdf},
  year = {2015},
}
Powered by bibtexbrowser