The means for using various types of algebras to specify and verify the behavior and *(semantics) of (often _(distributed) or _(concurrent|concurrency)) programs.

<ul class="links">
<li>_(The Common Framework Initiative| http://www.brics.dk/Projects/CoFI/), working on a Common Algrebraic Specification Language.
<li>Some executable specification languages, including _(CafeOBJ) and _(Maude).
</ul>