scientific article; zbMATH DE number 512951

zbMath0796.18004MaRDI QIDQ4281666

Oege de Moor, Paul H. B. Gardiner, Clare E. Martin

Publication date: 7 April 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

program specificationweak pullbackcategory of relationspreorder categorynon-deterministic programsspan categorycategory of total functionsmonotonic predicate transformers

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Abstract data types; algebraic specification (68Q65) Preorders, orders, domains and lattices (viewed as categories) (18B35) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Enriched categories (over closed or monoidal categories) (18D20) Categories of spans/cospans, relations, or partial maps (18B10)

Related Items (2)

Data Refinement with Probability in Mind ⋮ Algebraic proofs of consistency and completeness

This page was built for publication: