Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch
English
 

Publications Search - Details

 
Publication type: Article in Proceedings
Author: Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder
Editor: Martin Wirsing, Dirk Pattinson, Rolf Hennicker
Title: Algebraic-co-algebraic specification in CoCASL
Book / Collection title: Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02
Volume: 2755
Page(s): 376 – 392
Series: Lecture Notes in Computer Science
Year published: 2003
Publisher: Springer, Berlin
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.
Internet: http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=376
PDF Version: http://www.informatik.uni-bremen.de/~till/papers/cocasl.pdf
PostScript Version: http://www.informatik.uni-bremen.de/~lschrode/papers/cocasl.ps
Keywords: CASL coalgebra modal logic CoCASL
Status: Reviewed
Last updated: 22. 06. 2005

 Back to result list
 
   
Author: Automatically generated page
 
  Group BKB 
Last updated: February 23, 2006   impressum