| Publication type: |
Article in Proceedings |
| Author: |
T. Mossakowski |
| Editor: |
F. Parisi Presicce |
| Title: |
Colimits of Order-Sorted Specifications |
| Book / Collection title: |
Recent trends in algebraic development techniques. Proc. 12th International Workshop |
| Volume: |
1376 |
| Page(s): |
316 – 332 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
1998 |
| Publisher: |
Springer Verlag, London |
| Abstract: |
We prove cocompleteness of the category of CASL signatures, of monotone signatures, of strongly regular signatures and of strongly locally filtered signatures. This shows that using these signature categories is compatible with a pushout or colimit based module system. |
| Internet: |
http://dx.doi.org/10.1007/3-540-64299-4_42 |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~till/papers/colimits.ps |
| Status: |
Reviewed |
| Last updated: |
04. 08. 2006 |
