T. Mossakowski, H. Reichel, M. Roggenbach, and L. Schröder. Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02, volume 2755 of Lecture Notes in Computer Science, page 376--392. Springer; Berlin; http://www.springer.de, (2003)
Abstract
We introduce CoCASL as a simple coalgebraic extension of the algebraic specification language CASL. CoCASL allows the nested combination of algebraic datatypes and coalgebraic process types. We show that the well-known coalgebraic modal logic can be expressed in CoCASL. We present sufficient criteria for the existence of cofree models, also for several variants of nested cofree and free specifications. Moreover, we describe an extension of the existing proof support for CASL (in the shape of an encoding into higher-order logic) to CoCASL.
%0 Conference Paper
%1 MossakowskiEA03
%A Mossakowski, Till
%A Reichel, Horst
%A Roggenbach, Markus
%A Schröder, Lutz
%B Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02
%D 2003
%E Wirsing, Martin
%E Pattinson, Dirk
%E Hennicker, Rolf
%I Springer; Berlin; http://www.springer.de
%K CASL CoCASL coalgebra logic modal
%P 376--392
%T Algebraic-co-algebraic specification in CoCASL
%U http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=376
%V 2755
%X We introduce CoCASL as a simple coalgebraic extension of the algebraic specification language CASL. CoCASL allows the nested combination of algebraic datatypes and coalgebraic process types. We show that the well-known coalgebraic modal logic can be expressed in CoCASL. We present sufficient criteria for the existence of cofree models, also for several variants of nested cofree and free specifications. Moreover, we describe an extension of the existing proof support for CASL (in the shape of an encoding into higher-order logic) to CoCASL.
@inproceedings{MossakowskiEA03,
abstract = {We introduce CoCASL as a simple coalgebraic extension of the algebraic specification language CASL. CoCASL allows the nested combination of algebraic datatypes and coalgebraic process types. We show that the well-known coalgebraic modal logic can be expressed in CoCASL. We present sufficient criteria for the existence of cofree models, also for several variants of nested cofree and free specifications. Moreover, we describe an extension of the existing proof support for CASL (in the shape of an encoding into higher-order logic) to CoCASL.
},
added-at = {2016-08-05T15:59:03.000+0200},
author = {Mossakowski, Till and Reichel, Horst and Roggenbach, Markus and Schr{\"o}der, Lutz},
biburl = {https://www.bibsonomy.org/bibtex/234cc36cbcebe594d5b579cdb639860e5/tillmo},
booktitle = {Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02},
editor = {Wirsing, Martin and Pattinson, Dirk and Hennicker, Rolf},
interhash = {f68e124ae24b1af9f6708183cf6a5aaa},
intrahash = {34cc36cbcebe594d5b579cdb639860e5},
keywords = {CASL CoCASL coalgebra logic modal},
pages = {376--392},
pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/cocasl.pdf},
psurl = {http://www.informatik.uni-bremen.de/~lschrode/papers/cocasl.ps},
publisher = {Springer; Berlin; http://www.springer.de},
series = {Lecture Notes in Computer Science},
status = {Reviewed},
timestamp = {2016-08-05T15:59:03.000+0200},
title = {Algebraic-co-algebraic specification in {CoCASL}},
url = {http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=376},
volume = 2755,
year = 2003
}