Parallel composition and decomposition of specifications

Information Sciences

Volumn 139, Issue 3-4, 2001, Pages 197-220

  Kahl, Wolfram ^a  

^a BUNDESWEHR UNIVERSITY MUNICH   (Germany)

Author keywords

Demonic calculus of relations; Demonic product; Direct product; Parallel decomposition; Relation algebra; Specification and refinement

Indexed keywords

ALGEBRA; MATHEMATICAL OPERATORS; SOFTWARE ENGINEERING;

PARALLEL COMPOSITION; RELATION ALGEBRA;

INFORMATION SCIENCE;

EID: 0035577324     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0255(01)00165-7     Document Type: Conference Paper

References (27)

1. On correct refinement of programs
2. Demonic operators and monotype factors
3. Relational algebraic semantics of deterministic and nondeterministic programs
4. On the lattice of specifications: Applications to a specification methodology
5. Relational Methods in Computer Science
6. A relational division operator: The conjugate kernel
7. Embedding a demonic semilattice in a relation algebra
8. Refinement and demonic semantics
9. A relational calculus for program construction by parts
10. Unifying program construction and modification
11. Fork algebras in algebra, logic and computer science
12. Laws of programming
13. Prespecification in data refinement
14. Stratified term graphs
15. Unsharp demonic products and stratified term graphs
16. Semantic distance between specifications
17. A generalization of Dijkstra's calculus
18. Non-deterministic data types: Models and implementations
19. Closure lattices
20. Relations and Graphs
21. Program development by stepwise refinement