On the Mathematical Foundations of Semantic Interoperability and Integration

Dagstuhl Seminar Proceedings

Volumn 4391, Issue , 2005, Pages

  Schorlemmer, Marco ^a  

^a ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84893474127     PISSN: 18624405     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (4)

1. J. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95-146, 1992.
2. J. Goguen and G. Rosu. Institution morphisms. Formal Aspects of Computing, 13:204-307, 2002.
3. S. Mac Lane. Categories for the Working Mathematician. Springer, second edition, 1998.
4. T. Mossakowski. Heteregeneous Specification and the Heterogeneous Tool Set. Habilitation thesis, Universität Bremen, 2004.