Algebraic-coalgebraic specification in CoCasl

Algebraic-coalgebraic specification in CoCasl (2006)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Till Mossakowski , Horst Reichel , Markus Roggenbach , Lutz Schröder

Venue:	J. LOGIC ALGEBRAIC PROGRAMMING
Citations:	16 - 7 self

Versions

Version History

Metadata Version 2

User correction supplied by mph

Datum	Value	Source
TITLE	Algebraic-coalgebraic specification in CoCasl	SVM HeaderParse 0.2
AUTHOR NAME	Till Mossakowski	user correction
AUTHOR AFFIL	1 BISS, Dept. of Computer Science, University of Bremen; 2 Institute for Theoretical Computer Science, Technical University of Dresden	user correction
AUTHOR NAME	Horst Reichel	user correction
AUTHOR AFFIL	1 BISS, Dept. of Computer Science, University of Bremen; 2 Institute for Theoretical Computer Science, Technical University of Dresden	user correction
AUTHOR NAME	Markus Roggenbach	user correction
AUTHOR AFFIL	1 BISS, Dept. of Computer Science, University of Bremen; 2 Institute for Theoretical Computer Science, Technical University of Dresden	user correction
AUTHOR NAME	Lutz Schröder	user correction
AUTHOR AFFIL	1 BISS, Dept. of Computer Science, University of Bremen; 2 Institute for Theoretical Computer Science, Technical University of Dresden	user correction
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.	user correction
YEAR	2006	INFERENCE
VENUE	J. LOGIC ALGEBRAIC PROGRAMMING	user correction
VENUE TYPE	JOURNAL	INFERENCE
PAGES	2006	INFERENCE
VOLUME	67	INFERENCE
CITATIONS	9 found	ParsCit 1.0