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

Publications Search - Details

 
Publication type: Article
Author: Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel
Title: Algebraic-co-algebraic specification in CoCASL
Volume: 67
Page(s): 146 – 197
Journal: Journal of Logic and Algebraic Programming
Number: 1-2
Year published: 2006
Abstract: We introduce CoCASL as a light-weight but expressive coalgebraic extension of the algebraic specification language CASL. CoCASL allows the nested combination of algebraic datatypes and coalgebraic process types. Moreover, it provides syntactic sugar for an observer-indexed modal logic that allows e.g. expressing fairness properties. This logic includes a generic definition of modal operators for observers with structured equational result types. We prove existence of final models for specifications in a format that allows the use of certain initial datatypes, as well as modal axioms. The use of CoCASL is illustrated by specifications of the process algebras CSP and CCS.
Internet: http://dx.doi.org/10.1016/j.jlap.2005.09.006
PDF Version: http://www.informatik.uni-bremen.de/~lschrode/papers/cocasl.pdf
PostScript Version: http://www.informatik.uni-bremen.de/~lschrode/papers/cocasl.ps
Keywords: Algebraic specification coalgebra process algebra CASL CCS CSP.
Note / Comment: Extends (Mossakowski et al. 2003)
Status: Reviewed
Last updated: 18. 06. 2008

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