@inproceedings{CodescuEtAl08,
  abstract = {Colimits are a useful tool for the combination of specifications and
  logical theories.  We generalize the notion of colimit to a
  heterogeneous multi-logic setting. For practically realistic cases,
  the notion has to be weakened. We describe an algorithm that
  approximates the weaker notion but obtains a colimit whenever
  possible. This algorithm is being implemented as part of the
  Heterogeneous Tool Set Hets.},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Codescu, Mihai and Mossakowski, Till},
  biburl = {https://www.bibsonomy.org/bibtex/25bf37a9c182fa396edc73ef7ae59c2a2/tillmo},
  booktitle = {MoVaH'08 Workshop on Modeling, Validation and Heterogeneity},
  editor = {Boulanger, Fr{\'e}d{\'e}ric and Gaston, Christophe and Schobbens, Pierre-Yves},
  interhash = {89a877fe2cf9b8327edb0d8e00b71360},
  intrahash = {5bf37a9c182fa396edc73ef7ae59c2a2},
  keywords = {imported},
  pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/weakcolimit.pdf},
  publisher = {IEEE press},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Heterogeneous colimits},
  url = {http://www.computer.org/portal/web/csdl/abs/proceedings/icstw/2008/3388/00/3388toc.htm},
  year = 2008
}