Publication:3954802
From MaRDI portal
zbMath0492.68020MaRDI QIDQ3954802
Publication date: 1981
68Q60: Specification and verification (program logics, model checking, etc.)
18C10: Theories (e.g., algebraic theories), structure, and semantics
06F99: Ordered structures
08C99: Other classes of algebras
Related Items
Axiomatisation des tests, The Birkhoff variety theorem for continuous algebras, Absolutely definable varieties of continuous algebras, Conditional rewriting logic as a unified model of concurrency