@inproceedings{Mossakowski02c,
  abstract = {We provide a semantic basis for heterogeneous specifications that not only involve different logics, but also different kinds of translations between these. We show that Grothendieck institutions based on spans of (co)morphisms can serve as a unifying framework providing a simple but powerful semantics for heterogeneous specification.},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Mossakowski, T.},
  biburl = {https://www.bibsonomy.org/bibtex/2d0cd935531fc324835d45c8bda71b6ff/tillmo},
  booktitle = {Recent Trends in Algebraic Development Techniques, 16th International Workshop, {WADT} 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers},
  editor = {Wirsing, M. and Pattinson, D. and Hennicker, R.},
  interhash = {d43a7c9dd3e72e5f7b64ece846c1d069},
  intrahash = {d0cd935531fc324835d45c8bda71b6ff},
  isbn = {3-540-20537-3},
  keywords = {imported},
  pages = {359--375},
  pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/hetspec.pdf},
  psurl = {http://www.informatik.uni-bremen.de/~till/papers/hetspec.ps},
  publisher = {Springer Verlag, London},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Foundations of heterogeneous specification},
  url = {http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,20,38;},
  year = 2003
}