Parallel composition and decomposition of specifications
type: Item
instance of: scholarly article
title: Parallel composition and decomposition of specifications
zbMATH Open document ID: 1004.68097
DOI: 10.1016/S0020-0255(01)00165-7
author: Wolfram Kahl
published in: Information Sciences
publication date: 2002-06-23T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03G15
zbMATH DE Number: 1758159
zbMATH Keywords: demonic calculus of relations
zbMATH Keywords: demonic operators
MaRDI profile type: Publication
cites work: On correct refinement of programs
cites work: Demonic operators and monotype factors
cites work: Relational algebraic semantics of deterministic and nondeterministic programs
cites work: On the lattice of specifications: Applications to a specification methodology
cites work: Relational Methods in Computer Science
cites work: A relational division operator: The conjugate kernel
cites work: Embedding a demonic semilattice in a relation algebra
cites work: Q4362886
cites work: A relational calculus for program construction by parts
cites work: Unifying program construction and modification
cites work: Q4381704
cites work: Laws of programming
cites work: Prespecification in data refinement
cites work: Semantic distance between specifications
cites work: Q4301161
cites work: Non-deterministic data types: Models and implementations
cites work: Closure lattices
cites work: Q5287518
cites work: Program development by stepwise refinement
Wikidata QID: Q127391243
description: scientific article; zbMATH DE number 1758159