CoCASL

CoCASL -- Coalgebraic Specification in CASL

Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel: Algebraic-coalgebraic specification in CoCASL pdf ps  Journal version (pdf)

Till Mossakowski, Markus Roggenbach, Lutz Schr&omul;der: CoCASL at Work - Modelling Process Algebra. CMCS 2003, ENTCS vol. 82. pdf ps

All Bremen publications about CoCASL.

Contact: Lutz Schröder.