@inproceedings{MossakowskiTarlecki09,
  abstract = {We use the theory of institutions to capture the concept of a
heterogeneous logical environment as a number of institutions linked
by institution morphisms and comorphisms.  We discuss heterogeneous
specifications built in such environments, with inter-institutional
specification morphisms based on both institution morphisms and
comorphisms.
We distinguish three kinds of heterogeneity:
(1) specifications in logical environments with universal logic
(2) heterogeneous specifications focused at a particular logic, and
(3) heterogeneous specifications distributed over a number of logics.},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Mossakowski, Till and Tarlecki, Andrzej},
  biburl = {https://www.bibsonomy.org/bibtex/2ff2d7845aaef794aacf2f5dec68d2b1a/tillmo},
  booktitle = {WADT 2008},
  editor = {Corradini, Andrea and Montanari, Ugo},
  interhash = {2dcaaccc882e5a80182a376e49754b59},
  intrahash = {ff2d7845aaef794aacf2f5dec68d2b1a},
  keywords = {comorphism heterogeneous institutions specification},
  pages = {266–289},
  pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/disthet.pdf},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Heterogeneous Logical Environments for Distributed Specifications},
  url = {http://dx.doi.org/10.1007/978-3-642-03429-9_18},
  volume = 5486,
  year = 2009
}