%0 Conference Paper %1 Mossakowski98 %A Mossakowski, T. %B Recent trends in algebraic development techniques. Proc. 12th International Workshop %D 1998 %E Parisi Presicce, F. %I Springer Verlag, London %K imported %P 316--332 %T Colimits of Order-Sorted Specifications %U http://dx.doi.org/10.1007/3-540-64299-4_42 %V 1376 %X 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.

@inproceedings{Mossakowski98, 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. }, added-at = {2016-08-05T15:59:03.000+0200}, author = {Mossakowski, T.}, biburl = {https://www.bibsonomy.org/bibtex/2e793bafa91a2eaddab48e86b48fd6c9d/tillmo}, booktitle = {Recent trends in algebraic development techniques. Proc. 12th International Workshop}, editor = {{Parisi Presicce}, F.}, interhash = {f0f5d6be8abf704d7d977bdbf7ba8db6}, intrahash = {e793bafa91a2eaddab48e86b48fd6c9d}, keywords = {imported}, pages = {316--332}, psurl = {http://www.informatik.uni-bremen.de/~till/papers/colimits.ps}, publisher = {Springer Verlag, London}, series = {Lecture Notes in Computer Science}, status = {Reviewed}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {Colimits of Order-Sorted Specifications}, url = {http://dx.doi.org/10.1007/3-540-64299-4_42}, volume = 1376, year = 1998 }