Sound and Complete Equational Reasoning over Comodels (bibtex)

by Dirk Pattinson and Lutz Schröder

Reference:

Dirk Pattinson and Lutz Schröder: Sound and Complete Equational Reasoning over Comodels, In Proc. Mathematical Foundations of Programming Semantics XXXI, MFPS 2015, ENTCS, vol. 319, pp. 315–331, Elsevier, 2015.

Bibtex Entry:

@string{entcs="ENTCS"}
@string{elsevier="Elsevier"}
@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/ext/papers/comodels-compl.pdf},
  year = {2015},
}