Parallel composition and decomposition of specifications

DOI10.1016/S0020-0255(01)00165-7zbMath1004.68097WikidataQ127391243 ScholiaQ127391243MaRDI QIDQ1602555

Wolfram Kahl

Publication date: 23 June 2002

Published in: Information Sciences (Search for Journal in Brave)

zbMATH Keywords

demonic calculus of relationsdemonic operators

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

GS·Λ Theories ⋮ Parallel composition and decomposition of specifications

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Prespecification in data refinement
• Embedding a demonic semilattice in a relation algebra
• Non-deterministic data types: Models and implementations
• Relational algebraic semantics of deterministic and nondeterministic programs
• On correct refinement of programs
• On the lattice of specifications: Applications to a specification methodology
• Semantic distance between specifications
• Parallel composition and decomposition of specifications
• A relational calculus for program construction by parts
• Closure lattices
• A relational division operator: The conjugate kernel
• Laws of programming
• Demonic operators and monotype factors
• Relational Methods in Computer Science
• Unifying program construction and modification
• Program development by stepwise refinement