Algebraic foundations for specification refinements
From MaRDI portal
(Redirected from Publication:1784785)
Recommendations
Cited in
(14)- An algebraic formulation for data refinement
- Algebraic specifications for domain theory
- scientific article; zbMATH DE number 1390335 (Why is no real title available?)
- Enabledness and termination in refinement algebra
- scientific article; zbMATH DE number 1424058 (Why is no real title available?)
- scientific article; zbMATH DE number 4129965 (Why is no real title available?)
- scientific article; zbMATH DE number 1324839 (Why is no real title available?)
- scientific article; zbMATH DE number 3936495 (Why is no real title available?)
- Generic tools via general refinement
- A superposition operator for the refinement of algebraic models
- On the power of higher-order algebraic specification methods
- On the algebra of structured specifications
- An Informal Approach to Formal (Algebraic) Specifications
- scientific article; zbMATH DE number 4078770 (Why is no real title available?)
This page was built for publication: Algebraic foundations for specification refinements
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1784785)