… We introduce COCASL as a light-weight but expressive coalgebraic extension of the
algebraic specification … COCASL allows the nested combination of algebraic datatypes and …

… We introduce CoCasl as a simple coalgebraic extension of the algebraic specification … We
show that the well-known coalgebraic modal logic can be expressed in CoCasl. We present …

… nature [3,19,16], will be modelled with the coalgebraic constructs provided by CoCasl. The
full specifications are available at [12]. The paper is organized as follows: Section 1 gives an …

… 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 …

… , which have been shown to be of coalgebraic nature [2, 10, 7], will be modelled with the
coalgebraic constructs provided by COCASL. The full specifications are available at [8]. …

… algebraic-coalgebraic specification language CoCasl, which extends Casl by coalgebraic
… finality constraints, as well as an extended version of coalgebraic modal logic. The design of …

… of the process algebraic part is operational. Specifically, we aim to enable the combination
of process algebraic specification of reactive behaviour and algebraic specification of data …

… is cast in the algebraic–coalgebraic specification language COCASL. © 2006 Elsevier BV
… For illustrative purposes, we present excerpts from a COCASL specification of the ambient …

… coalgebras together with initial states are considered as classes, and the elements of the
carrier Self of a coalgebra … As an example of an algebraic specification, we present finite list as …

… to extend the algebraic-coalgebraic specification language CoCasl by full coalgebraic modal
… modal logic previously used in CoCasl and supports the specification of a variety of modal …