Composing Hidden Information Modules over Inclusive Institutions-Reference-Cited by-同舟云学术

Composing Hidden Information Modules over Inclusive Institutions

Published:2004 Issue: Volume: Page:96-123
ISSN:0302-9743
Container-title:From Object-Orientation to Formal Methods
language:
Short-container-title:

Author:

Goguen Joseph,Roşu Grigore

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-39993-3_7

Reference44 articles.

1. Lecture Notes in Computer Science;S. Alagic,2002

2. Bergstra, J., Heering, J., Klint, P.: Module algebra. Journal of the Association for Computing Machinery 37(2), 335–372 (1990)

3. Bergstra, J., Tucker, J.: Equational specifications, complete term rewriting systems, and computable and semicomputable algebras. Journal of the Association for Computing Machinery 42(6), 1194–1230 (1995)

4. Bernstein, P.: Applying model management to classical meta data problems. In: Proceedings, Conf. on Innovative Database Research, pp. 209–220 (2003)

5. Bidoit, M., Hennicker, R.: Constructor-based observational logic. Technical Report LSV–03–9, Laboratoire Spcification et Verification, CNRS de Cachan (March 2003)

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Partialising Institutions;Applied Categorical Structures;2023-11-15

2. On Normal Forms for Structured Specifications with Generating Constraints;Graph Transformation, Specifications, and Nets;2018

3. A Categorical Approach to Networks of Aligned Ontologies;Journal on Data Semantics;2017-11-08

4. The Distributed Ontology, Model and Specification Language – DOL;Recent Trends in Algebraic Development Techniques;2017

5. Modularity of Ontologies in an Arbitrary Institution;Lecture Notes in Computer Science;2015