Algebraic-coalgebraic specification in CoCasl (2006)

by Till Mossakowski , Horst Reichel , Markus Roggenbach , Lutz Schröder
Venue:J. LOGIC ALGEBRAIC PROGRAMMING
Citations:19 - 8 self

Document Versions

Algebraic-coalgebraic specification in CoCasl –Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder — 2006 — J. LOGIC ALGEBRAIC PROGRAMMING
Algebraic-coalgebraic specification in CoCASL –Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel C — 2003 — In WADT’02, LNCS 2755
Algebraic-Coalgebraic Specification in CoCasl –Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel — 2003
Algebraic-coalgebraic specification in CoCasl –Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder — 2002
Algebraic-coalgebraic specification in CoCasl –Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel — 2006 — J. LOGIC ALGEBRAIC PROGRAMMING