@inproceedings{Mossakowski02b,
  abstract = {In order to obtain a semantic foundation for heterogeneous specification, we extend Diaconescu's morphism-based Grothendieck institutions to the case of comorphisms. This is not just a dualization, because we obtain more general results, especially concerning amalgamation properties. We also introduce a proof calculus for structured heterogeneous specifications and study its soundness and completeness (where amalgamation properties play a role for obtaining the latter).},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Mossakowski, T.},
  biburl = {https://www.bibsonomy.org/bibtex/243add86d97a908a4f1b606060b035edd/tillmo},
  booktitle = {Mathematical foundations of computer science},
  editor = {Diks, K. and Rytter, W.},
  interhash = {674dcfccee11603d2b23eab7bf8d3d86},
  intrahash = {43add86d97a908a4f1b606060b035edd},
  keywords = {imported},
  pages = {593--604},
  psurl = {http://www.informatik.uni-bremen.de/~till/papers/grothendieck.ps},
  publisher = {Springer Verlag, London},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Comorphism-based {G}rothendieck logics},
  url = {http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,1,1;},
  volume = 2420,
  year = 2002
}