Abstract | ||
---|---|---|
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). |
Year | Venue | DocType |
---|---|---|
2016 | WADT | Conference |
Volume | Citations | PageRank |
abs/1705.09363 | 1 | 0.35 |
References | Authors | |
7 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Till Mossakowski | 1 | 1052 | 90.11 |
Florian Rabe | 2 | 333 | 41.66 |
Mihai Codescu | 3 | 89 | 12.58 |