Algebraic-coalgebraic specification in CoCasl.

Till Mossakowski Lutz Schröder Markus Roggenbach Horst Reichel

Published in: J. Log. Algebraic Methods Program. (2006)

Keyphrases

higher order
formal specification
formal methods
real world
high level
linear algebra
operational semantics
mathematical theory
asynchronous circuits