Can I read Canonical Selection of Colimits on EtoBox?

Canonical Selection of Colimits by Mossakowski, Till; Rabe, Florian; Codescu, Mihai is a scholarly article available to read on EtoBox.

What is Canonical Selection of Colimits about?

Colimits are a powerful tool for the combination of objects in a category. In the context of modeling and specification, they are used in the institution-independent semantics (1) of instantiations of parameterised specifications (e.g. in the specification language CASL), and (2) of combinations of networks of specifications (in the OMG standardised language DOL).

Author

Mossakowski, Till; Rabe, Florian; Codescu, Mihai

Published

2017

Language

EN