The following pages link to (Q3993542):
Displaying 5 items.
- OBSCURE, a specification language for abstract data types (Q1323328) (← links)
- Actors, actions, and initiative in normative system specification (Q1353968) (← links)
- Many-sorted algebras in congruence modular varieties (Q1363439) (← links)
- Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics (Q4847312) (← links)
- Constructing systems as object communities (Q5044754) (← links)